Automated coverage calculation and test case generation
Jcrasher: an automatic robustness tester for java