Generalized symbolic execution for model checking and testing (2003)

by S Khurshid, C S Pasareanu, W Visser
Venue:In Proc. 9th Int. Conf. on TACAS