Generalized symbolic execution for model checking and testing (2003)

by S Khurshid, C Pasareanu, W Visser
Venue:In Proceedings of the 9th International Conference on Tools and Algorithms for