ParSym: Parallel symbolic execution
Korat: automated testing based on Java predicates