Automated coverage calculation and test case generation
Soot - a Java Bytecode Optimization Framework