Symbolic execution for software testing in practice: preliminary assessment.

Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, Willem Visser

Browse the full ICSE paper archive.