Generalized symbolic execution for model checking and testing (2003)

by S Khurshid, C S Păsăreanu, W Visser
Venue:In Proceedings of the Ninth International Conference on Tools and Algorithms for the Construction and Analysis of Systems