CUTE: a concolic unit testing engine for C
Korat: automated testing based on Java predicates