Hybrid Fuzz Testing: Discovering Software Bugs via Fuzzing and Symbolic Execution
Symbolic execution and program testing