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

Jian Zhang, Chen Xu, Xiaoliang Wang

Browse the full SEFM paper archive.