Gửi tin nhắn: A Probabilistic Analysis of the Efficiency of Automated Software Testing /Marcel B€ohme and Soumya Paul