Automatic testing of object-oriented software
Korat: automated testing based on Java predicates