Test input generation with Java PathFinder. (2004)

by W Visser, C S Pasareanu, S Khurshid
Venue:In ISSTA 2004,