Korat: Automated testing based on Java predicates (2002)

by C BOYAPATI, S KHURSHID, D MARINOV
Venue:In Proceedings of ACM International Symposium on Software Testing and Analysis ISSTA