CodeHint: dynamic and interactive synthesis of code snippets
Jcrasher: an automatic robustness tester for java