Generalized symbolic execution for model checking and testing (2003)

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