Exploiting Trade-off s in Symbolic Execution for Identifying Security Bugs
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs