Test input generation with Java Pathfinder (2004)

by W Visser, C Pasareanu, S Khurshid
Venue:In Proc. Int’l Symp. Softw. Test. Anal