Automated data structure generation: refuting common wisdom
Korat: automated testing based on Java predicates