{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,19]],"date-time":"2025-01-19T21:10:23Z","timestamp":1737321023188,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540426073"},{"type":"electronic","value":"9783540454168"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45416-0_16","type":"book-chapter","created":{"date-parts":[[2007,7,20]],"date-time":"2007-07-20T19:29:50Z","timestamp":1184959790000},"page":"156-165","source":"Crossref","is-referenced-by-count":0,"title":["The Effectiveness of Statistical Testing when Applied to Logic Systems"],"prefix":"10.1007","author":[{"given":"Silke","family":"Kuball","sequence":"first","affiliation":[]},{"given":"Gordon","family":"Hughes","sequence":"additional","affiliation":[]},{"given":"John H. R.","family":"May","sequence":"additional","affiliation":[]},{"given":"Julio","family":"Gallardo","sequence":"additional","affiliation":[]},{"given":"Andrew D.","family":"John","sequence":"additional","affiliation":[]},{"given":"Roy B.","family":"Carter","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,9,26]]},"reference":[{"key":"16_CR1","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1109\/TR.1980.5220756","volume":"R-29","author":"J. Duran","year":"1980","unstructured":"J. Duran and J. Wiorkowski,\u201cQuantifying Software Validity by Sampling\u201d, IEEE Software Reliability, R-29, No. 2 (1980) 141\u2013144","journal-title":"IEEE Software Reliability"},{"issue":"1","key":"16_CR2","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/32.120314","volume":"18","author":"K.W. Miller","year":"1992","unstructured":"K.W. Miller et al., \u201cEstimating the Probability of Failure when Testing reveals no Failures\u201d, IEEE Trans. Software Eng. 18, No. 1 (1992) 33\u201343","journal-title":"IEEE Trans. Software Eng."},{"key":"16_CR3","unstructured":"W.D. Ehrenberger, \u201cProbabilistic Techniques for Software Verification\u201d, paper produced for the IAEA Technical Committee Meeting on Safety Implications of Computerised Process Control in Nuclear Power Plants, Vienna Austria, November 1989"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"S. Kuball, J. May and G. Hughes, \u201cBuilding a System Failure Rate Estimator by Identifying Component Failure Rates\u201d, Proceedings from ISSRE\u201999, IEEE Computer Society Press (1999) 32\u201341","DOI":"10.1109\/ISSRE.1999.809308"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"J.D. Musa, \u201cOperational Profiles in Software-Reliability Engineering\u201d, IEEE Software, March 1993, 14\u201332","DOI":"10.1109\/52.199724"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"J.H. May, G. Hughes and A.D. Lunn, \u201cReliability Estimation from Appropriate Testing of Plant Protection Software\u201d, Software Engineering Journal, November 1995, 206\u2013218","DOI":"10.1049\/sej.1995.0026"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45416-0_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,19]],"date-time":"2025-01-19T20:50:55Z","timestamp":1737319855000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45416-0_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540426073","9783540454168"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-45416-0_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}