Path Constraint Construction with Look-ahead
Date | 18 February 2008 - 22 February 2008 |
---|---|
Event | GI-Software Engineering Conference 2008 |
Location | Munich, Germany |
A new approach for constructing path constraints in constraintbased test-data generation using results from analysis of control-flow graphs.
Permalink