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

Details

Publication typeInproceedings
Published inICSE
Pages1066-1071
> Publications > Symbolic execution for software testing in practice: preliminary assessment