Automated testing based on Java predicates. (2002)

by C Boyapati, S Khurshid, Marinov D Korat
Venue:Proceedings of the International Symposium on Software Testing and Analysis,