Symbolic execution for software testing in practice: preliminary assessment (2011)

by C Cadar, P Godefroid, S Khurshid, C S Păsăreanu, K Sen, N Tillmann, W Visser
Venue:in Proceedings of the 33rd International Conference on Software Engineering