Efficient Fuzz Testing Leveraging Input, Code, and Execution
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs