Path Constraint Construction with Look-ahead

A new approach for constructing path constraints in constraintbased test-data generation using results from analysis of control-flow graphs.