S2E: a platform for in-vivo multi-path analysis of software systems
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs