Coverage-based Greybox Fuzzing as Markov Chain
Model-based whitebox fuzzing for program binaries