A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Automatic test data generation leads to identify input values on which a selected point in a procedure is executed. This paper introduces a new method for this problem based on constraint solving techniques. First, we statically transform a procedure into a constraint system by using well-known "Static Single Assignment" form and cont:ol-dependencies. Second, we solve this system to che"k whether at least one feasible control flow path goir.g through the selected point exists and to generatedoi:10.1145/271771.271790 dblp:conf/issta/GotliebBR98 fatcat:rsowyb2jkracfnnz2i5bsmgb54