A Probabilistic Analysis of the Efﬁciency of Automated Software Testing /Marcel B€ohme and Soumya Paul - B€ohme,Marcel