Improving function coverage with munch: a hybrid fuzzing and directed symbolic execution approach
An Empirical Study of the Reliability of UNIX Utilities