Coverage-based Greybox Fuzzing as Markov Chain
A Probabilistic Analysis of the Efficiency of Automated Software Testing