CUTE: a concolic unit testing engine for C
Jcrasher: an automatic robustness tester for java