Text this: Dynamic program analysis for error detection using goal-seeking input data generation