"Path-Oriented Test Data Generation Using Symbolic Execution and Constraint ..."

Jian Zhang, Chen Xu, Xiaoliang Wang (2004)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics