Andrea Arcuri, Muhammad Zohaib Z. Iqbal, Lionel C. Briand. Formal analysis of the effectiveness and predictability of random testing. In Paolo Tonella, Alessandro Orso, editors, Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, ISSTA 2010, Trento, Italy, July 12-16, 2010. pages 219-230, ACM, 2010. [doi]
Abstract is missing.