Korat: automated testing based on Java predicates. (2002)

by C Boyapati, S Khurshid, D Marinov
Venue:In ISSTA’02,