Test input generation with Java PathFinder (2004)

by W Visser, C S Pǎsǎreanu, S Khurshid
Venue:in Proceedings of the 2004 ACM SIGSOFT International Symposium on Software Testing and Analysis