{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,26]],"date-time":"2026-03-26T23:37:06Z","timestamp":1774568226918,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":57,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642102479","type":"print"},{"value":"9783642102486","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10248-6_7","type":"book-chapter","created":{"date-parts":[[2009,10,27]],"date-time":"2009-10-27T09:18:40Z","timestamp":1256635120000},"page":"148-171","source":"Crossref","is-referenced-by-count":10,"title":["Handling Software Faults with Redundancy"],"prefix":"10.1007","author":[{"given":"Antonio","family":"Carzaniga","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandra","family":"Gorla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mauro","family":"Pezz\u00e8","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","volume-title":"Software Fault Tolerance Techniques and Implementation","author":"L.L. Pullum","year":"2001","unstructured":"Pullum, L.L.: Software Fault Tolerance Techniques and Implementation. Artech House, Inc., Norwood (2001)"},{"issue":"1","key":"7_CR2","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A. Avizienis","year":"2004","unstructured":"Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable Secure Computing\u00a01(1), 11\u201333 (2004)","journal-title":"IEEE Transactions on Dependable Secure Computing"},{"issue":"1","key":"7_CR3","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"J.O. Kephart","year":"2003","unstructured":"Kephart, J.O., Chess, D.M.: The vision of autonomic computing. Computer\u00a036(1), 41\u201350 (2003)","journal-title":"Computer"},{"key":"7_CR4","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1109\/FOSE.2007.19","volume-title":"FOSE 2007: 2007 Future of Software Engineering","author":"J. Kramer","year":"2007","unstructured":"Kramer, J., Magee, J.: Self-managed systems: an architectural challenge. In: FOSE 2007: 2007 Future of Software Engineering, pp. 259\u2013268. IEEE Computer Society, Washington (2007)"},{"issue":"2","key":"7_CR5","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1147\/rd.62.0200","volume":"6","author":"R. Lyons","year":"1962","unstructured":"Lyons, R., Vanderkulk, W.: The use of triple-modular redundancy to improve computer reliability. IBM Journal of Research and Development\u00a06(2), 200\u2013209 (1962)","journal-title":"IBM Journal of Research and Development"},{"issue":"3","key":"7_CR6","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/971701.50214","volume":"17","author":"D.A. Patterson","year":"1988","unstructured":"Patterson, D.A., Gibson, G., Katz, R.H.: A case for redundant arrays of inexpensive disks (RAID). SIGMOD Record\u00a017(3), 109\u2013116 (1988)","journal-title":"SIGMOD Record"},{"key":"7_CR7","unstructured":"Dean, J., Ghemawat, S.: MapReduce: Simplified data processing on large clusters. In: OSDI 2004: Proceedings of the 6th Conference on Symposium on Operating Systems Design & Implementation, Berkeley, CA, USA (2004)"},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1145\/325405.325443","volume-title":"PODS 1985: Proceedings of the fourth ACM SIGACT-SIGMOD symposium on Principles of database systems","author":"A. Abbadi El","year":"1985","unstructured":"El Abbadi, A., Skeen, D., Cristian, F.: An efficient, fault-tolerant protocol for replicated data management. In: PODS 1985: Proceedings of the fourth ACM SIGACT-SIGMOD symposium on Principles of database systems, pp. 215\u2013229. ACM, New York (1985)"},{"issue":"12","key":"7_CR9","doi-asserted-by":"publisher","first-page":"1491","DOI":"10.1109\/TSE.1985.231893","volume":"11","author":"A. Avizienis","year":"1985","unstructured":"Avizienis, A.: The N-version approach to fault-tolerant software. IEEE Transactions on Software Engineering\u00a011(12), 1491\u20131501 (1985)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/SAINT.2008.12","volume-title":"SAINT 2008: Proceedings of the 2008 International Symposium on Applications and the Internet","author":"S. Subramanian","year":"2008","unstructured":"Subramanian, S., Thiran, P., Narendra, N.C., Mostefaoui, G.K., Maamar, Z.: On the enhancement of BPEL engines for self-healing composite web services. In: SAINT 2008: Proceedings of the 2008 International Symposium on Applications and the Internet, pp. 33\u201339. IEEE Computer Society, Washington (2008)"},{"key":"7_CR11","first-page":"76","volume-title":"ICAC 2005: Proceedings of the Second International Conference on Automatic Computing","author":"S.M. Sadjadi","year":"2005","unstructured":"Sadjadi, S.M., McKinley, P.K.: Using transparent shaping and web services to support self-management of composite systems. In: ICAC 2005: Proceedings of the Second International Conference on Automatic Computing, pp. 76\u201387. IEEE Computer Society, Washington (2005)"},{"key":"7_CR12","first-page":"168","volume-title":"Active Middleware Services","author":"G. Candea","year":"2003","unstructured":"Candea, G., Kiciman, E., Zhang, S., Keyani, P., Fox, A.: JAGR: An autonomous self-recovering application server. In: Active Middleware Services, pp. 168\u2013178. IEEE Computer Society, Los Alamitos (2003)"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Zhang, R.: Modeling autonomic recovery in web services with multi-tier reboots. In: ICWS 2007: Proceedings of the IEEE International Conference on Web Services (2007)","DOI":"10.1109\/ICWS.2007.127"},{"issue":"1-4","key":"7_CR14","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1023\/A:1018987616443","volume":"10","author":"H.H. Ammar","year":"2000","unstructured":"Ammar, H.H., Cukic, B., Mili, A., Fuhrman, C.: A comparative analysis of hardware and software fault tolerance: Impact on software reliability engineering. Annals Software Engineering\u00a010(1-4), 103\u2013150 (2000)","journal-title":"Annals Software Engineering"},{"key":"7_CR15","volume-title":"FTCS 1995: Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing","author":"Y. Huang","year":"1995","unstructured":"Huang, Y., Kintala, C., Kolettis, N., Fulton, N.D.: Software rejuvenation: Analysis, module and applications. In: FTCS 1995: Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing, vol.\u00a0381. IEEE Computer Society, Washington (1995)"},{"key":"7_CR16","unstructured":"Gray, J.: Why do computers stop and what can be done about it? In: Symposium on Reliability in Distributed Software and Database Systems, pp. 3\u201312 (1986)"},{"issue":"2","key":"7_CR17","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1109\/MC.2007.55","volume":"40","author":"M. Grottke","year":"2007","unstructured":"Grottke, M., Trivedi, K.: Fighting bugs: Remove, retry, replicate, and rejuvenate. Computer\u00a040(2), 107\u2013109 (2007)","journal-title":"Computer"},{"issue":"3","key":"7_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1380584.1380585","volume":"40","author":"M.C. Huebscher","year":"2008","unstructured":"Huebscher, M.C., McCann, J.A.: A survey of autonomic computing\u2014degrees, models, and applications. ACM Computing Surveys\u00a040(3), 1\u201328 (2008)","journal-title":"ACM Computing Surveys"},{"issue":"2","key":"7_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1348246.1348249","volume":"40","author":"V.D. Florio","year":"2008","unstructured":"Florio, V.D., Blondia, C.: A survey of linguistic structures for application-level fault tolerance. ACM Computing Surveys\u00a040(2), 1\u201337 (2008)","journal-title":"ACM Computing Surveys"},{"key":"7_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1007\/978-3-540-30108-0_26","volume-title":"Computer Security \u2013 ESORICS 2004","author":"B. Littlewood","year":"2004","unstructured":"Littlewood, B., Strigini, L.: Redundancy and diversity in security. In: Samarati, P., Ryan, P.Y.A., Gollmann, D., Molva, R. (eds.) ESORICS 2004. LNCS, vol.\u00a03193, pp. 423\u2013438. Springer, Heidelberg (2004)"},{"issue":"3","key":"7_CR21","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1145\/568522.568525","volume":"34","author":"M. Elnozahy","year":"2002","unstructured":"Elnozahy, M., Alvisi, L., min Wang, Y., Johnson, D.B.: A survey of rollback-recovery protocols in message-passing systems. ACM Computing Surveys\u00a034(3), 375\u2013408 (2002)","journal-title":"ACM Computing Surveys"},{"key":"7_CR22","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/1-84628-111-3_7","volume-title":"Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective","author":"C. Gacek","year":"2006","unstructured":"Gacek, C., de Lemos, R.: Architectural description of dependable software systems. In: Besnard, D., Gacek, C., Jones, C. (eds.) Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective, pp. 127\u2013142. Springer, Heidelberg (2006)"},{"key":"7_CR23","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/1479772.1479775","volume-title":"SERENE 2008: Proceedings of the 2008 RISE\/EFTS Joint International Workshop on Software Engineering for Resilient Systems","author":"N.B. Harrison","year":"2008","unstructured":"Harrison, N.B., Avgeriou, P.: Incorporating fault tolerance tactics in software architecture patterns. In: SERENE 2008: Proceedings of the 2008 RISE\/EFTS Joint International Workshop on Software Engineering for Resilient Systems, pp. 9\u201318. ACM, New York (2008)"},{"key":"7_CR24","volume-title":"Patterns for Fault Tolerant Software","author":"R. Hanmer","year":"2007","unstructured":"Hanmer, R.: Patterns for Fault Tolerant Software. Wiley Publishing, Chichester (2007)"},{"key":"7_CR25","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1145\/1370018.1370023","volume-title":"SEAMS 2008: Proceedings of the 2008 International Workshop on Software Engineering for Adaptive and Self-Managing Systems","author":"A. Carzaniga","year":"2008","unstructured":"Carzaniga, A., Gorla, A., Pezz\u00e8, M.: Self-healing by means of automatic workarounds. In: SEAMS 2008: Proceedings of the 2008 International Workshop on Software Engineering for Adaptive and Self-Managing Systems, pp. 17\u201324. ACM, New York (2008)"},{"issue":"4","key":"7_CR26","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1109\/12.2185","volume":"37","author":"P.E. Ammann","year":"1988","unstructured":"Ammann, P.E., Knight, J.C.: Data diversity: An approach to software fault tolerance. IEEE Transactions on Computers\u00a037(4), 418\u2013425 (1988)","journal-title":"IEEE Transactions on Computers"},{"issue":"3","key":"7_CR27","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1145\/1275517.1275519","volume":"25","author":"F. Qin","year":"2007","unstructured":"Qin, F., Tucek, J., Zhou, Y., Sundaresan, J.: Rx: Treating bugs as allergies\u2014a safe method to survive software failures. ACM Transactions on Computer Systems\u00a025(3), 7 (2007)","journal-title":"ACM Transactions on Computer Systems"},{"key":"7_CR28","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1145\/800027.808467","volume-title":"Proceedings of the international conference on Reliable software","author":"B. Randell","year":"1975","unstructured":"Randell, B.: System structure for software fault tolerance. In: Proceedings of the international conference on Reliable software, pp. 437\u2013449. ACM, New York (1975)"},{"key":"7_CR29","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1109\/EUROMICRO.2006.63","volume-title":"EUROMICRO 2006: Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications","author":"G. Dobson","year":"2006","unstructured":"Dobson, G.: Using WS-BPEL to implement software fault tolerance for web services. In: EUROMICRO 2006: Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications, pp. 126\u2013133. IEEE Computer Society, Washington (2006)"},{"key":"7_CR30","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1109\/COMPSAC.2005.88","volume-title":"COMPSAC 2005: Proceedings of the 29th Annual International Computer Software and Applications Conference (COMPSAC 2005)","author":"N. Looker","year":"2005","unstructured":"Looker, N., Munro, M., Xu, J.: Increasing web service dependability through consensus voting. In: COMPSAC 2005: Proceedings of the 29th Annual International Computer Software and Applications Conference (COMPSAC 2005), vol.\u00a02, pp. 66\u201369. IEEE Computer Society, Washington (2005)"},{"key":"7_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/978-3-540-25939-8_9","volume-title":"Architecting Dependable Systems II","author":"I. Gashi","year":"2004","unstructured":"Gashi, I., Popov, P., Stankovic, V., Strigini, L.: On designing dependable services with diverse off-the-shelf SQL servers. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems II. LNCS, vol.\u00a03069, pp. 191\u2013214. Springer, Heidelberg (2004)"},{"issue":"7","key":"7_CR32","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1109\/2.56851","volume":"23","author":"J.C. Laprie","year":"1990","unstructured":"Laprie, J.C., B\u00e9ounes, C., Kanoun, K.: Definition and analysis of hardware- and software-fault-tolerant architectures. Computer\u00a023(7), 39\u201351 (1990)","journal-title":"Computer"},{"key":"7_CR33","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1145\/800027.808468","volume-title":"Proceedings of the International Conference on Reliable software","author":"S.S. Yau","year":"1975","unstructured":"Yau, S.S., Cheung, R.C.: Design of self-checking software. In: Proceedings of the International Conference on Reliable software, pp. 450\u2013455. ACM, New York (1975)"},{"key":"7_CR34","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1109\/ICAC.2004.1301366","volume-title":"ICAC 2004: Proceedings of the First International Conference on Autonomic Computing","author":"A. Diaconescu","year":"2004","unstructured":"Diaconescu, A., Mos, A., Murphy, J.: Automatic performance management in component based software systems. In: ICAC 2004: Proceedings of the First International Conference on Autonomic Computing, pp. 214\u2013221. IEEE Computer Society, Washington (2004)"},{"key":"7_CR35","doi-asserted-by":"crossref","unstructured":"Naccache, H., Gannod, G.: A self-healing framework for web services. In: ICWS 2007: Proceedings of the 2007 IEEE International Conference on Web Services, pp. 398\u2013345 (2007)","DOI":"10.1109\/ICWS.2007.16"},{"key":"7_CR36","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/1294904.1294906","volume-title":"ESSPE 2007: International workshop on Engineering of software services for pervasive environments","author":"L. Baresi","year":"2007","unstructured":"Baresi, L., Guinea, S., Pasquale, L.: Self-healing BPEL processes with dynamo and the JBoss rule engine. In: ESSPE 2007: International workshop on Engineering of software services for pervasive environments, pp. 11\u201320. ACM, New York (2007)"},{"key":"7_CR37","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1145\/1169091.1169099","volume-title":"MW4SOC 2006: Proceedings of the 1st workshop on Middleware for Service Oriented Computing","author":"S. Modafferi","year":"2006","unstructured":"Modafferi, S., Mussi, E., Pernici, B.: SH-BPEL: a self-healing plug-in for WS-BPEL engines. In: MW4SOC 2006: Proceedings of the 1st workshop on Middleware for Service Oriented Computing, pp. 48\u201353. ACM, New York (2006)"},{"key":"7_CR38","unstructured":"Fugini, M.G., Mussi, E.: Recovery of Faulty Web Applications through Service Discovery. In: SMR 2006: 1st International Workshop on Semantic Matchmaking and Resource Retrieval: Issues and Perspectives, Seoul, Korea (2006)"},{"key":"7_CR39","doi-asserted-by":"crossref","unstructured":"Popov, P., Riddle, S., Romanovsky, A., Strigini, L.: On systematic design of protectors for employing OTS items. In: Euromicro 2001: in Proceedings of the 27th Euromicro Conference, pp. 22\u201329 (2001)","DOI":"10.1109\/EURMIC.2001.952434"},{"key":"7_CR40","doi-asserted-by":"crossref","unstructured":"Chang, H., Mariani, L., Pezz\u00e8, M.: In-field healing of integration problems with COTS components. In: ICSE 2009: Proceeding of the 31st International Conference on Software Engineering, pp. 166\u2013176 (2009)","DOI":"10.1109\/ICSE.2009.5070518"},{"key":"7_CR41","volume-title":"International Symposium on Fault-Tolerant Computing","author":"F. Salles","year":"1999","unstructured":"Salles, F., Rodrguez, M., Fabre, J.C., Arlat, J.: Metakernels and fault containment wrappers. In: International Symposium on Fault-Tolerant Computing. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"7_CR42","doi-asserted-by":"crossref","unstructured":"Fetzer, C., Xiao, Z.: Detecting heap smashing attacks through fault containment wrappers. In: Proceedings of the 20th IEEE Symposium on Reliable Distributed Systems, pp. 80\u201389 (2001)","DOI":"10.1109\/RELDIS.2001.969756"},{"issue":"6","key":"7_CR43","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1109\/TSE.1980.234507","volume":"6","author":"D.J. Taylor","year":"1980","unstructured":"Taylor, D.J., Morgan, D.E., Black, J.P.: Redundancy in data structures: Improving software fault tolerance. IEEE Transactions on Software Engineering\u00a06(6), 585\u2013594 (1980)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR44","unstructured":"Connet, J.R., Pasternak, E.J., Wagner, B.D.: Software defenses in real-time control systems. In: Proceedings of the International Symposium on Fault-Tolerant Computing, pp. 94\u201399 (1972)"},{"key":"7_CR45","doi-asserted-by":"crossref","unstructured":"Nguyen-Tuong, A., Evans, D., Knight, J.C., Cox, B., Davidson, J.W.: Security through redundant data diversity. In: DSN 2008: IEEE International Conference on Dependable Systems and Networks, pp. 187\u2013196 (2008)","DOI":"10.1109\/DSN.2008.4630087"},{"issue":"1","key":"7_CR46","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1145\/233008.233050","volume":"24","author":"S. Garg","year":"1996","unstructured":"Garg, S., Huang, Y., Kintala, C., Trivedi, K.S.: Minimizing completion time of a program by checkpointing and rejuvenation. SIGMETRICS Performance Evaluation Review\u00a024(1), 252\u2013261 (1996)","journal-title":"SIGMETRICS Performance Evaluation Review"},{"key":"7_CR47","volume-title":"USENIX SS 2006: Proceedings of the 15th conference on USENIX Security Symposium","author":"B. Cox","year":"2006","unstructured":"Cox, B., Evans, D., Filipi, A., Rowanhill, J., Hu, W., Davidson, J., Knight, J., Nguyen-Tuong, A., Hiser, J.: N-variant systems: a secretless framework for security through diversity. In: USENIX SS 2006: Proceedings of the 15th conference on USENIX Security Symposium. USENIX Association, Berkeley (2006)"},{"key":"7_CR48","volume-title":"WIA 2007:3rd International Workshop on Information Assurance","author":"D. Bruschi","year":"2007","unstructured":"Bruschi, D., Cavallaro, L., Lanzi, A.: Diversified process replicae for defeating memory error exploits. In: WIA 2007:3rd International Workshop on Information Assurance. IEEE Computer Society, Los Alamitos (2007)"},{"key":"7_CR49","first-page":"166","volume-title":"IDEAS 2006: Proceedings of the 10th International Database Engineering and Applications Symposium","author":"Y. Taher","year":"2006","unstructured":"Taher, Y., Benslimane, D., Fauvet, M.C., Maamar, Z.: Towards an approach for web services substitution. In: IDEAS 2006: Proceedings of the 10th International Database Engineering and Applications Symposium, pp. 166\u2013173. IEEE Computer Society, Washington (2006)"},{"key":"7_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-540-89652-4_20","volume-title":"Service-Oriented Computing \u2013 ICSOC 2008","author":"A. Mosincat","year":"2008","unstructured":"Mosincat, A., Binder, W.: Transparent runtime adaptability for BPEL processes. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol.\u00a05364, pp. 241\u2013255. Springer, Heidelberg (2008)"},{"key":"7_CR51","doi-asserted-by":"crossref","unstructured":"Weimer, W., ThanVu Nguyen, a.C.L.G., Forrest, S.: Automatically finding patches using genetic programming. In: ICSE 2009: Proceeding of the 31st International Conference on Software Engineering, pp. 364\u2013374 (2009)","DOI":"10.1109\/ICSE.2009.5070536"},{"key":"7_CR52","doi-asserted-by":"crossref","unstructured":"Arcuri, A., Yao, X.: A novel co-evolutionary approach to automatic software bug fixing. In: CEC 2008: Proceeding of IEEE Congress on Evolutionary Computation (2008)","DOI":"10.1109\/CEC.2008.4630793"},{"issue":"6","key":"7_CR53","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1007\/s10009-008-0088-8","volume":"10","author":"A. Carzaniga","year":"2008","unstructured":"Carzaniga, A., Gorla, A., Pezz\u00e8, M.: Healing web applications through automatic workarounds. International Journal on Software Tools for Technology Transfer\u00a010(6), 493\u2013502 (2008)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"issue":"12","key":"7_CR54","doi-asserted-by":"publisher","first-page":"683","DOI":"10.1145\/361227.361230","volume":"18","author":"J.B. Goodenough","year":"1975","unstructured":"Goodenough, J.B.: Exception handling: issues and a proposed notation. Communications of the ACM\u00a018(12), 683\u2013696 (1975)","journal-title":"Communications of the ACM"},{"issue":"6","key":"7_CR55","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1109\/52.636672","volume":"14","author":"L. Hatton","year":"1997","unstructured":"Hatton, L.: N-version design versus one good version. IEEE Software\u00a014(6), 71\u201376 (1997)","journal-title":"IEEE Software"},{"issue":"2","key":"7_CR56","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1109\/32.44387","volume":"16","author":"S.S. Brilliant","year":"1990","unstructured":"Brilliant, S.S., Knight, J.C., Leveson, N.G.: Analysis of faults in an N-version software experiment. IEEE Transactions on Software Engineering\u00a016(2), 238\u2013247 (1990)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR57","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/FTCS.1995.466999","volume-title":"FTCS 1995: Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing","author":"Y.M. Wang","year":"1995","unstructured":"Wang, Y.M., Huang, Y., Vo, K.P., Chung, P.Y., Kintala, C.: Checkpointing and its applications. In: FTCS 1995: Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing, pp. 22\u201331. IEEE Computer Society, Washington (1995)"}],"container-title":["Lecture Notes in Computer Science","Architecting Dependable Systems VI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10248-6_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,25]],"date-time":"2019-01-25T14:55:12Z","timestamp":1548428112000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10248-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642102479","9783642102486"],"references-count":57,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10248-6_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}