{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:31:38Z","timestamp":1725550298438},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540292005"},{"type":"electronic","value":"9783540320005"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11563228_14","type":"book-chapter","created":{"date-parts":[[2005,10,8]],"date-time":"2005-10-08T09:11:49Z","timestamp":1128762709000},"page":"179-193","source":"Crossref","is-referenced-by-count":0,"title":["Finding Upper Bounds for Software Failure Probabilities \u2013 Experiments and Results"],"prefix":"10.1007","author":[{"given":"Monica","family":"Kristiansen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1007\/978-1-4757-1727-3","volume-title":"Statistical Decision Theory and Bayesian Analysis","author":"J.O. Berger","year":"1980","unstructured":"Berger, J.O.: Statistical Decision Theory and Bayesian Analysis, 2nd edn., pp. 118\u2013166. Springer, Heidelberg (1980), ISBN 0-387-96098-8","edition":"2"},{"issue":"10","key":"14_CR2","first-page":"2121","volume":"86","author":"B. Cukic","year":"2003","unstructured":"Cukic, B., Gunel, E., Singh, H., Guo, L.: The Theory of Software Reliability Corroboration. IEICE Trans. on Information and Systems\u00a0E86-D(10), 2121\u20132129 (2003)","journal-title":"IEICE Trans. on Information and Systems"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Eckhardt, D.E., Lee, L.D.: A theoretical basis for the analysis of redundant software subject to coincident errors. NASA tech. Memo, 86369 (January 1985)","DOI":"10.1109\/TSE.1985.231895"},{"issue":"4","key":"14_CR4","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1109\/MS.2002.1020298","volume":"19","author":"N. Fenton","year":"2002","unstructured":"Fenton, N., Krause, P., Neil, M.: Software Measurement: Uncertainty and Causal Modeling. IEEE software\u00a019(4), 116\u2013122 (2002)","journal-title":"IEEE software"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Frankl, P., Hamlet, D., Littlewood, B., Strigini, L.: Choosing Testing Method to Deliver Reliability. In: Proc. of the 19th International Conference on Software engineering, May 1997, pp. 68\u201378 (1997)","DOI":"10.1145\/253228.253244"},{"key":"14_CR6","unstructured":"Gran, B.A.: The use of Bayesian Belief Networks for combining disparate sources of information in the safety assessment of software based systems. Thesis 2002, 35, NTNU, Trondheim, Norway (2002)"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Hamlet, D., Mason, D., Woit, D.: Theory of Software Reliability Based on Components. In: International Conference on Software Engineering, vol.\u00a023, pp. 361\u2013370 (2001)","DOI":"10.1109\/ICSE.2001.919109"},{"key":"14_CR8","unstructured":"IEC 60880-2: Software for Computers Important to Safety for Nuclear Power Plants \u2013 Part 2: Software aspects of defense against common cause failures, use of software tools and of pre-developed software (December 2000)"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Krishnamurthy, S., Mathur, A.: On the Estimation of Reliability of a Software System Using Reliabilities of its Components. In: Proc. of the 8th International Symposium on Software Reliability Engineering (ISSRE) (November 1997)","DOI":"10.1109\/ISSRE.1997.630860"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Kuball, S., May, J., Hughes, G.: Building a system failure rate estimator by identifying component failure rates. In: Proc. of the 10th International Symposium on Software Reliability Engineering (ISSRE 1999), November 1999, pp. 32\u201341 (1999)","DOI":"10.1109\/ISSRE.1999.809308"},{"issue":"12","key":"14_CR11","doi-asserted-by":"publisher","first-page":"1596","DOI":"10.1109\/32.58771","volume":"15","author":"B. Littlewood","year":"1989","unstructured":"Littlewood, B., Miller, D.R.: Conceptual Modeling of Coincident Failures in Multiversion Software. IEEE Trans. on Software Engineering\u00a015(12), 1596\u20131614 (1989)","journal-title":"IEEE Trans. on Software Engineering"},{"issue":"2","key":"14_CR12","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1145\/384192.384195","volume":"33","author":"B. Littlewood","year":"2001","unstructured":"Littlewood, B., Popov, P., Strigini, L.: Modelling software design diversity: a review. ACM Computing Surveys\u00a033(2), 177\u2013208 (2001)","journal-title":"ACM Computing Surveys"},{"key":"14_CR13","volume-title":"Handbook of Software Reliability Engineering","author":"M.R. Lyu","year":"1995","unstructured":"Lyu, M.R.: Handbook of Software Reliability Engineering. IEEE Computer Society Press, Los Alamitos (1995), ISBN 0-07-039400-8"},{"issue":"1","key":"14_CR14","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/32.120314","volume":"18","author":"K. Miller","year":"1992","unstructured":"Miller, K., Morell, L.J., Noonan, R.E., Park, S.K., Nicol, D.M., Murrill, B.W., Voas, J.W.: Estimating the probability of failure when testing reveals no failures. IEEE Trans. on Software Engineering\u00a018(1), 33\u201343 (1992)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Poore, J.H., Mills, H.D., Mutchler, D.: Planning and Certifying Software System Reliability. IEEE software (Janaury 1993)","DOI":"10.1109\/52.207234"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Popov, P., Strigini, L., May, J., Kuball, S.: Estimating Bounds on the Reliability of Diverse Systems. IEEE trans. on Software Engineering (April 2003)","DOI":"10.1109\/TSE.2003.1191798"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"Scott, J.A., Lawrence, J.D.: Testing Existing Software for Safety-Related Applications. Lawrence Livermore National Laboratory, prepared for U.S Nuclear Regulatory Commission (1995)","DOI":"10.2172\/257416"},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"Singh, H., Cortellessa, V., Cukic, B., Gunel, E., Bharadwaj, V.: A Bayesian Approach to Reliability Prediction and Assessment of Component Based Systems. In: Proc. of the 12th International Symposium on Software Reliability Engineering, ISSRE (2001)","DOI":"10.1109\/ISSRE.2001.989454"},{"key":"14_CR19","unstructured":"Smidts, C., Cukic, B., Gunel, E., Li, M., Singh, H.: Software Reliability Corroboration. In: Proc. of the 27\u2019th Annual NASA Goddard Software Engineering Workshop, SEW-27 2002 (2002)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11563228_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,4]],"date-time":"2023-05-04T21:30:41Z","timestamp":1683235841000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11563228_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540292005","9783540320005"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11563228_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}