{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,27]],"date-time":"2025-06-27T04:14:58Z","timestamp":1750997698090,"version":"3.41.0"},"publisher-location":"Cham","reference-count":49,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319674247"},{"type":"electronic","value":"9783319674254"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-67425-4_10","type":"book-chapter","created":{"date-parts":[[2017,11,1]],"date-time":"2017-11-01T12:54:32Z","timestamp":1509540872000},"page":"153-171","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Intrinsic Redundancy for Reliability and Beyond"],"prefix":"10.1007","author":[{"given":"Alberto","family":"Goffi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandra","family":"Gorla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Mattavelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mauro","family":"Pezz\u00e8","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,9,6]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Arcuri, A., Yao, X.: A novel co-evolutionary approach to automatic software bug fixing. In: Proceedings of IEEE Congress on Evolutionary Computation, CEC\u201908, pp. 162\u2013168. IEEE Computer Society, Washington (2008)","DOI":"10.1109\/CEC.2008.4630793"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Baresi, L., Guinea, S., Pasquale, L.: Self-healing BPEL processes with dynamo and the JBoss rule engine. In: International Workshop on Engineering of Software Services for Pervasive Environments, ESSPE\u201907, pp. 11\u201320 (2007)","DOI":"10.1145\/1294904.1294906"},{"issue":"5","key":"10_CR3","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1109\/TSE.2014.2372785","volume":"41","author":"E.T. Barr","year":"2015","unstructured":"Barr, E.T., Harman, M., McMinn, P., Shahbaz, M., Yoo, S.: The oracle problem in software testing: a survey. IEEE Trans. Softw. Eng. 41(5), 507\u2013525 (2015)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Bauer, V., Eckhardt, J., Hauptmann, B., Klimek, M.: An exploratory study on reuse at google. In: Proceedings of the 1st International Workshop on Software Engineering Research and Industrial Practices, SER&IPs 2014, pp. 14\u201323. ACM, New York (2014)","DOI":"10.1145\/2593850.2593854"},{"key":"10_CR5","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1007\/978-3-642-10248-6_7","volume-title":"Architecting Dependable Systems VI","author":"A. Carzaniga","year":"2009","unstructured":"Carzaniga, A., Gorla, A., Pezz\u00e8, M.: Fault handling with software redundancy. In: de Lemos, R., Fabre, J., Gacek, C., Gadducci, F., ter Beek, M. (eds.) Architecting Dependable Systems VI, pp. 148\u2013171. Springer, Berlin (2009)"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Carzaniga, A., Gorla, A., Perino, N., Pezz\u00e8, M.: Automatic workarounds for web applications. In: Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE\u201910, pp. 237\u2013246. ACM, New York (2010)","DOI":"10.1145\/1882291.1882327"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Carzaniga, A., Gorla, A., Perino, N., Pezz\u00e8, M.: RAW: runtime automatic workarounds. In: ICSE\u201910: Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering (Tool Demo), pp. 321\u2013322. ACM, New York (2010)","DOI":"10.1145\/1810295.1810371"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Carzaniga, A., Gorla, A., Mattavelli, A., Pezz\u00e8, M., Perino, N.: Automatic recovery from runtime failures. In: Proceedings of the International Conference on Software Engineering, ICSE\u201913, pp. 782\u2013791. IEEE Computer Society, Washington (2013)","DOI":"10.1109\/ICSE.2013.6606624"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Carzaniga, A., Goffi, A., Gorla, A., Mattavelli, A., Pezz\u00e8, M.: Cross-checking oracles from intrinsic software redundancy. In: Proceedings of the International Conference on Software Engineering, ICSE\u201914, pp. 931\u2013942. ACM, New York (2014)","DOI":"10.1145\/2568225.2568287"},{"issue":"3","key":"10_CR10","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1145\/2755970","volume":"24","author":"A. Carzaniga","year":"2015","unstructured":"Carzaniga, A., Gorla, A., Perino, N., Pezz\u00e8, M.: Automatic workarounds: exploiting the intrinsic redundancy of web applications. ACM Trans. Softw. Eng. Methodol. 24(3), 16 (2015)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Carzaniga, A., Mattavelli, A., Pezz\u00e8, M.: Measuring software redundancy. In: Proceedings of the 37th International Conference on Software Engineering, ICSE\u201915, pp. 156\u2013166. IEEE Computer Society, Washington (2015)","DOI":"10.1109\/ICSE.2015.37"},{"key":"10_CR12","unstructured":"Chen, L., Avizienis, A.: N-version programming: a fault-tolerance approach to reliability of software operation. In: International Symposium on Fault-Tolerant Computing, FTCS\u201978, pp. 113\u2013119 (1978)"},{"key":"10_CR13","volume-title":"Metamorphic testing: a new approach for generating next test cases","author":"T.Y. Chen","year":"1998","unstructured":"Chen, T.Y., Cheung, S.C., Yiu, S.M.: Metamorphic testing: a new approach for generating next test cases. Tech. rep., Department of Computer Science, Hong Kong University of Science and Technology (1998)"},{"key":"10_CR14","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: Proceedings of the Conference on USENIX Security Symposium, SEC\u201906. USENIX Association, Berkeley (2006)"},{"issue":"2","key":"10_CR15","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1145\/192218.192221","volume":"3","author":"R.K. Doong","year":"1994","unstructured":"Doong, R.K., Frankl, P.G.: The ASTOOT approach to testing object-oriented programs. ACM Trans. Softw. Eng. Methodol. 3(2), 101\u2013130 (1994)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Fraser, G., Arcuri, A.: Evosuite: automatic test suite generation for object-oriented software. In: Proceedings of the European Software Engineering Conference held jointly with the ACM SIGSOFT International Symposium on Foundations of Software Engineering, ESEC\/FSE\u201911, pp. 416\u2013419. ACM, New York (2011)","DOI":"10.1145\/2025113.2025179"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Gabel, M., Su, Z.: A study of the uniqueness of source code. In: Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE\u201910, pp. 147\u2013156. ACM, New York (2010)","DOI":"10.1145\/1882291.1882315"},{"key":"10_CR18","volume-title":"NCHRP report 406: redundancy in highway bridge superstructures","author":"M. Ghosn","year":"1998","unstructured":"Ghosn, M., Moses, F.: NCHRP report 406: redundancy in highway bridge superstructures. Tech. rep., National Cooperative Highway Research Program (NCHRP), Transportation Research Board (1998). http:\/\/onlinepubs.trb.org\/onlinepubs\/nchrp\/nchrp_rpt_406.pdf"},{"key":"10_CR19","doi-asserted-by":"publisher","DOI":"10.17226\/22365","volume-title":"NCHRP report 776: bridge system safety and redundancy","author":"M. Ghosn","year":"2014","unstructured":"Ghosn, M., Yang, J.: NCHRP report 776: bridge system safety and redundancy. Tech. rep., National Cooperative Highway Research Program (NCHRP), Transportation Research Board (2014). http:\/\/onlinepubs.trb.org\/onlinepubs\/nchrp\/nchrp_rpt_776.pdf"},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Goffi, A.: Automatic generation of cost-effective test oracles. In: ICSE\u201914: Proceedings of the 36th International Conference on Software Engineering, pp. 678\u2013681. ACM, New York (2014)","DOI":"10.1145\/2591062.2591078"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Goffi, A., Gorla, A., Mattavelli, A., Pezz\u00e8, M., Tonella, P.: Search-based synthesis of equivalent method sequences. In: Proceedings of the ACM SIGSOFT International Symposium on the Foundations of Software Engineering, FSE\u201914, pp. 366\u2013376. ACM, New York (2014)","DOI":"10.1145\/2635868.2635888"},{"issue":"2","key":"10_CR22","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1002\/j.1538-7305.1950.tb00463.x","volume":"29","author":"R.W. Hamming","year":"1950","unstructured":"Hamming, R.W.: Error detecting and error correcting codes. Bell Syst. Tech. J. 29(2), 147\u2013160 (1950)","journal-title":"Bell Syst. Tech. J."},{"key":"10_CR23","doi-asserted-by":"crossref","unstructured":"Harman, M., Langdon, W.B., Jia, Y., White, D.R., Arcuri, A., Clark, J.A.: The gismoe challenge: constructing the pareto program surface using genetic programming to find better programs (keynote paper). In: Proceedings of the International Conference on Automated Software Engineering, ASE\u201912, pp. 1\u201314. ACM, New York (2012)","DOI":"10.1145\/2351676.2351678"},{"key":"10_CR24","doi-asserted-by":"crossref","unstructured":"Hindle, A., Barr, E.T., Su, Z., Gabel, M., Devanbu, P.: On the naturalness of software. In: Proceedings of the International Conference on Software Engineering, ICSE\u201912, pp. 837\u2013847. ACM, New York (2012)","DOI":"10.1109\/ICSE.2012.6227135"},{"key":"10_CR25","doi-asserted-by":"crossref","unstructured":"Hosek, P., Cadar, C.: Varan the unbelievable: an efficient n-version execution framework. In: Proceedings of the International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS\u201915, pp. 339\u2013353. ACM, New York (2015)","DOI":"10.1145\/2694344.2694390"},{"key":"10_CR26","unstructured":"Huang, Y., Kintala, C.M.R.: Software implemented fault tolerance technologies and experience. In: Proceedings of the 23rd Annual International Symposium on Fault-Tolerant Computing, FTSC\u201993, pp. 2\u20139. IEEE Computer Society, Washington (1993)"},{"key":"10_CR27","doi-asserted-by":"crossref","unstructured":"Huang, W.C., Knottenbelt, W.J.: Self-adaptive containers: building resource-efficient applications with low programmer overhead. In: Proceedings of the International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS\u201913, pp. 123\u2013132. IEEE Computer Society, Washington (2013)","DOI":"10.1109\/SEAMS.2013.6595499"},{"key":"10_CR28","volume-title":"Recommended Practice on Software Reliability","author":"IEEE","year":"2008","unstructured":"IEEE Recommended Practice on Software Reliability (2008)"},{"key":"10_CR29","doi-asserted-by":"crossref","unstructured":"Jiang, L., Su, Z.: Automatic mining of functionally equivalent code fragments via random testing. In: Proceedings of the International Symposium on Software Testing and Analysis, ISSTA\u201909, pp. 81\u201392. ACM, New York (2009)","DOI":"10.1145\/1572272.1572283"},{"key":"10_CR30","doi-asserted-by":"crossref","unstructured":"Kawrykow, D., Robillard, M.P.: Improving API usage through automatic detection of redundant code. In: Proceedings of the International Conference on Automated Software Engineering, ASE\u201909, pp. 111\u2013122. IEEE Computer Society, Washington (2009)","DOI":"10.1109\/ASE.2009.62"},{"key":"10_CR31","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1109\/TSE.2011.104","volume":"38","author":"C. Goues Le","year":"2012","unstructured":"Le Goues, C., Nguyen, T., Forrest, S., Weimer, W.: Genprog: a generic method for automatic software repair. IEEE Trans. Softw. Eng. 38, 54\u201372 (2012)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10_CR32","volume-title":"NCHRP report 458: redundancy in highway bridge substructures","author":"W.D. Liu","year":"2001","unstructured":"Liu, W.D., Ghosn, M., Moses, F.: NCHRP report 458: redundancy in highway bridge substructures. Tech. rep., National Cooperative Highway Research Program (NCHRP), Transportation Research Board (2001). http:\/\/onlinepubs.trb.org\/onlinepubs\/nchrp\/nchrp_rpt_458-a.pdf"},{"key":"10_CR33","unstructured":"Mattavelli, A.: Software redundancy: what, where, how. Ph.D. thesis, Universit\u00e0 della Svizzera italiana (USI) (2016)"},{"key":"10_CR34","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/978-3-319-22183-0_19","volume-title":"Search-Based Software Engineering","author":"Andrea Mattavelli","year":"2015","unstructured":"Mattavelli, A., Goffi, A., Gorla, A.: Synthesis of equivalent method calls in Guava. In: Proceedings of the 7th International Symposium on Search-Based Software Engineering, SSBSE\u201915, pp. 248\u2013254. Springer, Berlin (2015)"},{"key":"10_CR35","doi-asserted-by":"crossref","unstructured":"Misailovic, S., Sidiroglou, S., Hoffmann, H., Rinard, M.: Quality of service profiling. In: Proceedings of the International Conference on Software Engineering, ICSE\u201910, pp. 25\u201334. ACM, New York (2010)","DOI":"10.1145\/1806799.1806808"},{"issue":"3","key":"10_CR36","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 17(3), 109\u2013116 (1988)","journal-title":"SIGMOD Record"},{"issue":"6","key":"10_CR37","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1145\/390016.808467","volume":"10","author":"B. Randell","year":"1975","unstructured":"Randell, B.: System structure for software fault tolerance. SIGPLAN Notes 10(6), 437\u2013449 (1975)","journal-title":"SIGPLAN Notes"},{"issue":"2","key":"10_CR38","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1137\/0108018","volume":"8","author":"I.S. Reed","year":"1960","unstructured":"Reed, I.S., Solomon, G.: Polynomial codes over certain finite fields. J. Soc. Ind. Appl. Math. 8(2), 300\u2013304 (1960)","journal-title":"J. Soc. Ind. Appl. Math."},{"key":"10_CR39","doi-asserted-by":"crossref","unstructured":"Sadjadi, S.M., McKinley, P.K.: Using transparent shaping and Web services to support self-management of composite systems. In: Proceedings of the International Conference on Autonomic Computing, ICAC\u201905, pp. 76\u201387. IEEE Computer Society, Washington (2005)","DOI":"10.1109\/ICAC.2005.64"},{"key":"10_CR40","doi-asserted-by":"crossref","unstructured":"Salamat, B., Jackson, T., Gal, A., Franz, M.: Orchestra: intrusion detection using parallel execution and monitoring of program variants in user-space. In: Proceedings of the ACM SIGOPS EuroSys European Conference on Computer Systems, EuroSys\u201909, pp. 33\u201346. ACM, New York (2009)","DOI":"10.1145\/1519065.1519071"},{"key":"10_CR41","doi-asserted-by":"crossref","unstructured":"Shvachko, K., Kuang, H., Radia, S., Chansler, R.: The hadoop distributed file system. In: Proceedings of the 2010 IEEE Symposium on Mass Storage Systems and Technologies, MSST\u201910, pp. 1\u201310. IEEE Computer Society, Washington (2010)","DOI":"10.1109\/MSST.2010.5496972"},{"key":"10_CR42","doi-asserted-by":"crossref","unstructured":"Sidiroglou-Douskos, S., Lahtinen, E., Long, F., Rinard, M.: Automatic error elimination by horizontal code transfer across multiple applications. In: Proceedings of the Conference on Programming Language Design and Implementation, PLDI\u201915, pp. 43\u201354. ACM, New York (2015)","DOI":"10.1145\/2813885.2737988"},{"issue":"4","key":"10_CR43","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1109\/MC.1997.585153","volume":"30","author":"A.K. Somani","year":"1997","unstructured":"Somani, A.K., Vaidya, N.H.: Understanding fault tolerance and reliability. IEEE Comput. 30(4), 45\u201350 (1997)","journal-title":"IEEE Comput."},{"key":"10_CR44","doi-asserted-by":"crossref","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: Proceedings of the International Symposium on Applications and the Internet, SAINT\u201908, pp. 33\u201339. IEEE Computer Society, Washington (2008)","DOI":"10.1109\/SAINT.2008.12"},{"key":"10_CR45","doi-asserted-by":"crossref","unstructured":"Taher, Y., Benslimane, D., Fauvet, M.C., Maamar, Z.: Towards an approach for Web services substitution. In: Proceedings of the International Database Engineering and Applications Symposium, IDEAS\u201906, pp. 166\u2013173. IEEE Computer Society, Washington (2006)","DOI":"10.1109\/IDEAS.2006.45"},{"key":"10_CR46","doi-asserted-by":"crossref","unstructured":"Trachsel, O., Gross, T.R.: Variant-based competitive parallel execution of sequential programs. In: Proceedings of the ACM International Conference on Computing Frontiers, CF\u201910, pp. 197\u2013206. ACM, New York (2010)","DOI":"10.1145\/1787275.1787325"},{"issue":"4","key":"10_CR47","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1093\/comjnl\/25.4.465","volume":"25","author":"E.J. Weyuker","year":"1982","unstructured":"Weyuker, E.J.: On testing non-testable programs. Comput. J. 25(4), 465\u2013470 (1982)","journal-title":"Comput. J."},{"key":"10_CR48","unstructured":"Xue, H., Dautenhahn, N., King, S.T.: Using replicated execution for a more secure and reliable web browser. In: Proceedings of the Annual Network and Distributed System Security Symposium, NDSS\u201912. The Internet Society, Reston (2012)"},{"key":"10_CR49","first-page":"293","volume":"1","author":"Y.C. Yeh","year":"1996","unstructured":"Yeh, Y.C.: Triple-triple redundant 777 primary flight computer. In: Proceedings of the IEEE Aerospace Applications Conference, vol. 1, pp. 293\u2013307 (1996)","journal-title":"In: Proceedings of the IEEE Aerospace Applications Conference"}],"container-title":["Present and Ulterior Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-67425-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,26]],"date-time":"2025-06-26T20:41:56Z","timestamp":1750970516000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-67425-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319674247","9783319674254"],"references-count":49,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-67425-4_10","relation":{},"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"6 September 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}