Concolic Execution on Small-Size Binaries: Challenges and Empirical Study
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs