Coverage-based Greybox Fuzzing as Markov Chain
Driller: Augmenting Fuzzing Through Selective Symbolic Execution