Concolic testing
Jcrasher: an automatic robustness tester for java