{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:08:45Z","timestamp":1761487725018},"reference-count":13,"publisher":"Wiley","issue":"1","license":[{"start":{"date-parts":[[2006,10,31]],"date-time":"2006-10-31T00:00:00Z","timestamp":1162252800000},"content-version":"vor","delay-in-days":4686,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Software Testing Verif &amp; Rel"],"published-print":{"date-parts":[[1994,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Software engineers have tacitly assumed that there exists a link between coverage and reliability. An argument is presented which leads to an inverse logarithmic relationship which depends upon the structure of the software and on a parameter called the strength of the coverage metric. The relationship is developed by considering reliability as a function of an idealized coverage metric and then interpreting the result for a range of actual coverage metrics.<\/jats:p>","DOI":"10.1002\/stvr.4370040103","type":"journal-article","created":{"date-parts":[[2006,11,18]],"date-time":"2006-11-18T06:12:24Z","timestamp":1163830344000},"page":"3-8","source":"Crossref","is-referenced-by-count":20,"title":["A relationship between software coverage metrics and reliability"],"prefix":"10.1002","volume":"4","author":[{"given":"Alan","family":"Veevers","sequence":"first","affiliation":[]},{"given":"Adam C.","family":"Marshall","sequence":"additional","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2006,10,31]]},"reference":[{"key":"e_1_2_1_2_1","unstructured":"Brown J. R.(1972) \u2018Practical application of automated software tools\u2019 TRW Report No. TRW\u2010SS\u201072\u201005 TRW Systems Redondo Beach California U.S.A."},{"key":"e_1_2_1_3_1","unstructured":"Brown J. R.andNelson E. C.(1977) \u2018Functional programming\u2019 TRW Final Technical Report RADC New York F30602\u201076\u2010C\u20100315."},{"key":"e_1_2_1_4_1","unstructured":"Fergus E. Marshall A. C. Veevers A. Hedley D.andHennell M. A.(1988) \u2018The quantification of software reliability\u2019 Proceedings of the Second IEE\/BCS Conference on Software Engineering No. 290 pp.43\u201349."},{"key":"e_1_2_1_5_1","unstructured":"Hennell M. A. Hedley D.andRiddell I. J. R.(1987) \u2018Automated testing techniques for real time embedded software\u2019 Proceedings of the First European Software Engineering Conference Strasbourg pp.261\u2013270."},{"key":"e_1_2_1_6_1","unstructured":"Hennell M. A. Veevers A.andFergus E.(1988) \u2018Testing real\u2010time software using systematic techniques \u2019 Proceedings of the First European Seminar on Software Quality Brussels pp.329\u2013333."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.1979.5220510"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.28120"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010308"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.232226"},{"key":"e_1_2_1_12_1","series-title":"IFAC Symposia Series","first-page":"67","volume-title":"Safety of Computer Control Systems (SAFECOMP\u203290)","author":"Veevers A.","year":"1990"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-3461-0_11"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1980.230473"}],"container-title":["Software Testing, Verification and Reliability"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fstvr.4370040103","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/stvr.4370040103","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,25]],"date-time":"2023-10-25T11:06:01Z","timestamp":1698231961000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/stvr.4370040103"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,1]]},"references-count":13,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1994,1]]}},"alternative-id":["10.1002\/stvr.4370040103"],"URL":"https:\/\/doi.org\/10.1002\/stvr.4370040103","archive":["Portico"],"relation":{},"ISSN":["0960-0833","1099-1689"],"issn-type":[{"value":"0960-0833","type":"print"},{"value":"1099-1689","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,1]]}}}