Symbolic execution for software testing in practice: preliminary assessment
Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, and Willem Visser
2011
In ICSE
Details
| Type | Inproceedings |
| Pages | 1066-1071 |