Improving function coverage with munch: a hybrid fuzzing and directed symbolic execution approach
Automated Whitebox Fuzz Testing