Hybrid Fuzz Testing: Discovering Software Bugs via Fuzzing and Symbolic Execution
Checksum-Aware Fuzzing Combined with Dynamic Taint Analysis and Symbolic Execution