MultiSE: multi-path symbolic execution using value summaries
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs