@article{1f7d230a36074615bdabade39f17fcd0,
title = "A Formal Analysis of the Fault-Detecting Ability of Testing Methods",
abstract = "This paper examines several relations between software testing criteria, exploring whether for each relation R and each pair of criteria, C1 and C2, R(C1, C2) guarantees that C1 is better at detecting faults than C2 according to various probabilistic measures of fault-detecting ability. It is shown that the fact that C1 subsumes C2 does not guarantee that C1 is better at detecting faults. Relations that strengthen the subsumption relation and that have more bearing on fault-detecting ability are introduced.",
author = "Frankl, {Phyllis G.} and Weyuker, {Elaine J.}",
note = "Funding Information: Manuscript received September 4, 1991; revised September 23, 1992. Recommended by Lee White. P. G. Frankl was supported by the National Science Foundation under Grant CCR-8810287 and by the New York State Science and Technology Foundation Center for Advanced Technology program. E. J. Weyuker was supported by the National Science. Foundation under Grant CCR-8920701 and by NASA under Grant NAG-1-1238. Some of the results presented in this paper appeared in Proceedings of the ACM SIGSOFT {\textquoteright}91 Conference on Software for Critical Systems. P. G. Frankl is with the Computer Science Department, Polytechnic University, Brooklyn, NY 11201. E. J. Weyuker is with the Courant Institute of Mathematical Sciences, New York University, New York, NY 10012. IEEE Log Number 9206902.",
year = "1993",
month = mar,
doi = "10.1109/32.221133",
language = "English (US)",
volume = "19",
pages = "202--213",
journal = "IEEE Transactions on Software Engineering",
issn = "0098-5589",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
number = "3",
}