{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T21:17:23Z","timestamp":1773868643546,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642407925","type":"print"},{"value":"9783642407932","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40793-2_10","type":"book-chapter","created":{"date-parts":[[2013,8,27]],"date-time":"2013-08-27T02:10:59Z","timestamp":1377569459000},"page":"106-117","source":"Crossref","is-referenced-by-count":22,"title":["Software Fault-Freeness and Reliability Predictions"],"prefix":"10.1007","author":[{"given":"Lorenzo","family":"Strigini","sequence":"first","affiliation":[]},{"given":"Andrey","family":"Povyakalo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"11","key":"10_CR1","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/163359.163373","volume":"36","author":"B. Littlewood","year":"1993","unstructured":"Littlewood, B., Strigini, L.: Validation of ultra-high dependability for software-based systems. CACM\u00a036(11), 69\u201380 (1993)","journal-title":"CACM"},{"key":"10_CR2","unstructured":"Littlewood, B., Strigini, L.: \u2018Validation of ultra-high dependability...\u2019 - 20 years on. Safety Systems, Newsletter of the Safety-Critical Systems Club (May 2011)"},{"key":"10_CR3","unstructured":"(IEC) International Electrotechnical Commission, IEC 61508, functional safety of electrical\/ electronic\/programmable electronic safety related systems"},{"issue":"3","key":"10_CR4","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1002\/(SICI)1099-1689(1998090)8:3<155::AID-STVR163>3.0.CO;2-B","volume":"8","author":"A. Bertolino","year":"1998","unstructured":"Bertolino, A., Strigini, L.: Assessing the risk due to software faults: estimates of failure rate vs evidence of perfection. Software Testing, Verification and Reliability\u00a08(3), 155\u2013166 (1998)","journal-title":"Software Testing, Verification and Reliability"},{"key":"10_CR5","unstructured":"ISO, ISO 26262 road vehicles \u2013 functional safety (2011)"},{"key":"10_CR6","unstructured":"FAA, Federal aviation regulations far 25.1309. Advisory Circular AC 25.1309-1A, Federal Aviation Administration (1985)"},{"issue":"1","key":"10_CR7","first-page":"3","volume":"19","author":"R. Butler","year":"1993","unstructured":"Butler, R., Finelli, G.: The infeasibility of quantifying the reliability of life-critical real-time software. IEEE TSE\u00a019(1), 3\u201312 (1993)","journal-title":"IEEE TSE"},{"issue":"3","key":"10_CR8","first-page":"269","volume":"1","author":"J. Voas","year":"1995","unstructured":"Voas, J., Michael, C., et al.: Confidently assessing a zero probability of software failure. High Integrity Systems\u00a01(3), 269\u2013275 (1995)","journal-title":"High Integrity Systems"},{"issue":"1","key":"10_CR9","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1145\/201055.201058","volume":"4","author":"W. Howden","year":"1995","unstructured":"Howden, W., Huang, Y.: Software trustability analysis. ACM TOSEM\u00a04(1), 36\u201364 (1995)","journal-title":"ACM TOSEM"},{"issue":"2","key":"10_CR10","first-page":"97","volume":"22","author":"A. Bertolino","year":"1996","unstructured":"Bertolino, A., Strigini, L.: On the use of testability measures for dependability assessment. IEEE TSE\u00a022(2), 97\u2013108 (1996)","journal-title":"IEEE TSE"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Bertolino, A., Strigini, L.: Acceptance criteria for critical software based on testability estimates and test results. In: SAFECOMP 1996, pp. 83\u201394. Springer (1996)","DOI":"10.1007\/978-1-4471-0937-2_7"},{"key":"10_CR12","unstructured":"Strigini, L.: Bounds on survival probabilities given an expected probability of failure per demand. DISPO2 Project Technical Report LS-DISPO2-03, Centre for Software Reliability, City University London (July 2003)"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Littlewood, B., Povyakalo, A.: Conservative bounds for the pfd of a 1-out-of-2 software-based system based on an assessor\u2019s subjective probability of \u2018not worse than independence. CSR Technical Report, City University London (2012)","DOI":"10.1109\/TSE.2013.31"},{"issue":"5","key":"10_CR14","first-page":"708","volume":"37","author":"P. Bishop","year":"2011","unstructured":"Bishop, P., Bloomfield, R., et al.: Toward a formalism for conservative claims about the dependability of software-based systems. IEEE TSE\u00a037(5), 708\u2013717 (2011)","journal-title":"IEEE TSE"},{"issue":"10","key":"10_CR15","first-page":"1022","volume":"26","author":"B. Littlewood","year":"2000","unstructured":"Littlewood, B.: The use of proof in diversity arguments. IEEE TSE\u00a026(10), 1022\u20131023 (2000)","journal-title":"IEEE TSE"},{"issue":"5","key":"10_CR16","first-page":"1178","volume":"38","author":"B. Littlewood","year":"2012","unstructured":"Littlewood, B., Rushby, J.: Reasoning about the reliability of diverse two-channel systems in which one channel is \u2018possibly perfect\u2019. IEEE TSE\u00a038(5), 1178\u20131194 (2012)","journal-title":"IEEE TSE"},{"key":"10_CR17","first-page":"173","volume":"17","author":"T. Shimeall","year":"1991","unstructured":"Shimeall, T., Leveson, N.: An empirical comparison of software fault tolerance and fault elimination. IEEE TSE\u00a017, 173\u2013182 (1991)","journal-title":"IEEE TSE"},{"issue":"12","key":"10_CR18","first-page":"1157","volume":"-26","author":"B. Littlewood","year":"2000","unstructured":"Littlewood, B., Popov, P., et al.: Modelling the effects of combining diverse software fault removal techniques. IEEE TSE\u00a0SE-26(12), 1157\u20131167 (2000)","journal-title":"IEEE TSE SE"},{"key":"10_CR19","unstructured":"Bloomfield, R., Guerra, S.: Process modelling to support dependability arguments. In: DSN 2002, International Conference on Dependable Systems and Networks. IEEE Computer Society, Washington, D.C (2002)"},{"key":"10_CR20","unstructured":"Littlewood, B., Wright, D.: Reliability prediction of a software product using testing data from other products or execution environments. DeVa Project Technical Report\u00a010, City University London (1996)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40793-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T23:00:50Z","timestamp":1558047650000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40793-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642407925","9783642407932"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40793-2_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}