IMF: Inferred Model-based Fuzzer
Coverage-based Greybox Fuzzing as Markov Chain