Korat: automated testing based on Java predicates.

Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov

Browse the full ISSTA paper archive.