Test Case Generation Based on Invariant Extraction
Jcrasher: an automatic robustness tester for java