make test-zesti: A symbolic execution solution for improving regression testing. (2012)

by P D Marinescu, C Cadar
Venue:In Proc. of the 34th International Conference on Software Engineering (ICSE’12),