Korat: automated testing based on java predicates (2002)

by Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov
Venue:In Proceedings of the 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA ’02