Generalized symbolic execution for model checking and testing. (2003)

by S Khurshid, C S Pasareanu, W Visser
Venue:In TACAS 2003,