{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T13:40:02Z","timestamp":1748612402653,"version":"3.41.0"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319242545"},{"type":"electronic","value":"9783319242552"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24255-2_22","type":"book-chapter","created":{"date-parts":[[2015,9,5]],"date-time":"2015-09-05T13:51:13Z","timestamp":1441461073000},"page":"297-309","source":"Crossref","is-referenced-by-count":0,"title":["Modeling the Impact of Testing on Diverse Programs"],"prefix":"10.1007","author":[{"given":"Peter","family":"Bishop","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,25]]},"reference":[{"key":"22_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-540-30138-7_6","volume-title":"Computer Safety, Reliability, and Security","author":"JG Bentley","year":"2004","unstructured":"Bentley, J.G., Bishop, P.G., van der Meulen, M.J.: An empirical exploration of the difficulty function. In: Heisel, M., Liggesmeyer, P., Wittmann, S. (eds.) SAFECOMP 2004. LNCS, vol. 3219, pp. 60\u201371. Springer, Heidelberg (2004)"},{"issue":"2","key":"22_CR2","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1109\/32.44387","volume":"16","author":"SS Brilliant","year":"1990","unstructured":"Brilliant, S.S., Knight, J.C., Leveson, N.G.: Analysis of faults in an N-version software experiment. IEEE Trans. Softw. Eng. 16(2), 238\u2013247 (1990)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"22_CR3","doi-asserted-by":"publisher","first-page":"1511","DOI":"10.1109\/TSE.1985.231895","volume":"12","author":"DE Eckhardt","year":"1985","unstructured":"Eckhardt, D.E., Lee, L.D.: A theoretical basis for the analysis of multiversion software subject to coincident errors. IEEE Trans. Softw. Eng. 12, 1511\u20131517 (1985)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"12","key":"22_CR4","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 multi-version software. IEEE Trans. Softw. Eng. 15(12), 1596\u20131614 (1989)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"12","key":"22_CR5","doi-asserted-by":"publisher","first-page":"1157","DOI":"10.1109\/32.888629","volume":"26","author":"B Littlewood","year":"2000","unstructured":"Littlewood, B., Popov, P.T., Strigini, L., Shryane, N.: Modeling the effects of combining diverse software fault detection techniques. IEEE Trans. Softw. Eng. 26(12), 1157\u20131167 (2000)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"5","key":"22_CR6","doi-asserted-by":"publisher","first-page":"1178","DOI":"10.1109\/TSE.2011.80","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 \u201cpossibly perfect\u201d. IEEE Trans. Softw. Eng. 38(5), 1178\u20131194 (2012)","journal-title":"IEEE Trans. Softw. Eng."},{"doi-asserted-by":"crossref","unstructured":"Popov, P., Littlewood, B.: The effect of testing on reliability of fault-tolerant software. In: International Conference on Dependable Systems and Networks, DSN 2004, pp. 265\u2013274. IEEE (2004)","key":"22_CR7","DOI":"10.1109\/DSN.2004.1311896"},{"doi-asserted-by":"crossref","unstructured":"Popov, P., Strigini, L.: The reliability of diverse systems: a contribution using modelling of the fault creation process. In: International Conference on Dependable Systems and Networks, DSN 2001, pp. 5\u201314). IEEE (2001)","key":"22_CR8","DOI":"10.1109\/DSN.2001.941385"},{"doi-asserted-by":"crossref","unstructured":"Popov, P., Stankovic, V., Strigini, L.: An empirical study of the effectiveness of \u201cforcing\u201d diversity based on a large population of diverse programs. In International Conference on Software Reliability Engineering, ISSRE 2012, pp. 41\u201350. IEEE (2012)","key":"22_CR9","DOI":"10.1109\/ISSRE.2012.27"},{"key":"22_CR10","volume-title":"Programming Challenges: The Programming Contest Training Manual","author":"M Revilla","year":"2003","unstructured":"Revilla, M., Skiena, S.: Programming Challenges: The Programming Contest Training Manual. Springer, New York (2003)"},{"doi-asserted-by":"crossref","unstructured":"Van der Meulen, M.J.P., Bishop, P.G., Villa, R.: An exploration of software faults and failure behaviour in a large population of programs. In: International Symposium on Software Reliability Engineering, ISSRE 2004, pp. 101\u2013112. IEEE (2004)","key":"22_CR11","DOI":"10.1109\/ISSRE.2004.7"},{"issue":"6","key":"22_CR12","doi-asserted-by":"publisher","first-page":"753","DOI":"10.1109\/TSE.2008.70","volume":"34","author":"MJ Meulen Van der","year":"2008","unstructured":"Van der Meulen, M.J., Revilla, M.A.: The effectiveness of software diversity in a large population of programs. IEEE Trans. Softw. Eng. 34(6), 753\u2013764 (2008)","journal-title":"IEEE Trans. Softw. Eng."}],"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-319-24255-2_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T13:02:07Z","timestamp":1748610127000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24255-2_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319242545","9783319242552"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24255-2_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}