Coverage-based Greybox Fuzzing as Markov Chain
TaintScope: A Checksum-Aware Directed Fuzzing Tool for Automatic Software Vulnerability Detection