{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:52:24Z","timestamp":1740099144404,"version":"3.37.3"},"publisher-location":"Cham","reference-count":49,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319992402"},{"type":"electronic","value":"9783319992419"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-99241-9_11","type":"book-chapter","created":{"date-parts":[[2018,8,21]],"date-time":"2018-08-21T06:40:36Z","timestamp":1534833636000},"page":"213-228","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Damage Reduction via White-Box Failure Shaping"],"prefix":"10.1007","author":[{"given":"Thomas B.","family":"Jones","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David H.","family":"Ackley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,8,22]]},"reference":[{"unstructured":"Divide and Conquer \u2014 Set 5 (Strassen\u2019s Matrix Multiplication). https:\/\/www.geeksforgeeks.org\/strassens-matrix-multiplication\/ . Accessed 21 May 2018","key":"11_CR1"},{"issue":"10","key":"11_CR2","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1145\/2505340","volume":"56","author":"DH Ackley","year":"2013","unstructured":"Ackley, D.H.: Beyond efficiency. Commun. ACM 56(10), 38\u201340 (2013)","journal-title":"Commun. ACM"},{"doi-asserted-by":"crossref","unstructured":"Akram, R., Alam, M.M.U., Muzahid, A.: Approximate lock: trading off accuracy for performance by skipping critical sections. In: 2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE), pp. 253\u2013263. IEEE (2016)","key":"11_CR3","DOI":"10.1109\/ISSRE.2016.49"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-642-16573-3_8","volume-title":"Testing Software and Systems","author":"A Arcuri","year":"2010","unstructured":"Arcuri, A., Iqbal, M.Z., Briand, L.: Black-box system testing of real-time embedded systems using random and search-based testing. In: Petrenko, A., Sim\u00e3o, A., Maldonado, J.C. (eds.) ICTSS 2010. LNCS, vol. 6435, pp. 95\u2013110. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16573-3_8"},{"doi-asserted-by":"crossref","unstructured":"Areias, C., Cunha, J.C., Vieira, M.: Studying the propagation of failures in SOAs. In: 2015 IEEE International Conference on Dependable Systems and Networks Workshops (DSN-W), pp. 81\u201386. IEEE (2015)","key":"11_CR5","DOI":"10.1109\/DSN-W.2015.18"},{"issue":"4","key":"11_CR6","doi-asserted-by":"publisher","first-page":"472","DOI":"10.1137\/0404042","volume":"4","author":"S Assaf","year":"1991","unstructured":"Assaf, S., Upfal, E.: Fault tolerant sorting networks. SIAM J. Discret. Math. 4(4), 472\u2013480 (1991)","journal-title":"SIAM J. Discret. Math."},{"doi-asserted-by":"crossref","unstructured":"Atkinson, B., DeBardeleben, N., Guan, Q., Robey, R., Jones, W.M.: Fault injection experiments with the CLAMR hydrodynamics mini-app. In: 2014 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 6\u20139. IEEE (2014)","key":"11_CR7","DOI":"10.1109\/ISSREW.2014.51"},{"issue":"6","key":"11_CR8","doi-asserted-by":"publisher","first-page":"458","DOI":"10.1145\/390016.808469","volume":"10","author":"A Avi\u017eienis","year":"1975","unstructured":"Avi\u017eienis, A.: Fault-tolerance and fault-intolerance: complementary approaches to reliable computing. SIGPLAN Not. 10(6), 458\u2013464 (1975). https:\/\/doi.org\/10.1145\/390016.808469","journal-title":"SIGPLAN Not."},{"issue":"2","key":"11_CR9","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1002\/stvr.313","volume":"15","author":"B Baudry","year":"2005","unstructured":"Baudry, B., Fleurey, F., J\u00e9z\u00e9quel, J.M., Traon, Y.L.: From genetic to bacteriological algorithms for mutation-based testing: research articles. Verif. Reliab. Softw. Test. 15(2), 73\u201396 (2005)","journal-title":"Verif. Reliab. Softw. Test."},{"unstructured":"Borchert, C., Schirmeier, H., Spinczyk, O.: Protecting the dynamic dispatch in C++ by dependability aspects. In: GI-Jahrestagung, pp. 521\u2013536 (2012)","key":"11_CR10"},{"doi-asserted-by":"crossref","unstructured":"C\u00e1mara, J., de Lemos, R.: Evaluation of resilience in self-adaptive systems using probabilistic model-checking. In: Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp. 53\u201362. IEEE Press (2012)","key":"11_CR11","DOI":"10.1109\/SEAMS.2012.6224391"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-319-66299-2_3","volume-title":"Search Based Software Engineering","author":"J Campos","year":"2017","unstructured":"Campos, J., Ge, Y., Fraser, G., Eler, M., Arcuri, A.: An empirical evaluation of evolutionary algorithms for test suite generation. In: Menzies, T., Petke, J. (eds.) SSBSE 2017. LNCS, vol. 10452, pp. 33\u201348. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-66299-2_3"},{"unstructured":"Cappello, F., Geist, A., Gropp, B., Kal\u00e9, L.V., Kramer, B., Snir, M.: Toward exascale resilience. IJHPCA 23(4), 374\u2013388 (2009). http:\/\/dblp.uni-trier.de\/db\/journals\/ijhpca\/ijhpca23.html#CappelloGGKKS09","key":"11_CR13"},{"issue":"8","key":"11_CR14","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1145\/2240236.2240262","volume":"55","author":"S Chaudhuri","year":"2012","unstructured":"Chaudhuri, S., Gulwani, S., Lublinerman, R.: Continuity and robustness of programs. Commun. ACM 55(8), 107\u2013115 (2012)","journal-title":"Commun. ACM"},{"doi-asserted-by":"crossref","unstructured":"Chippa, V.K., Chakradhar, S.T., Roy, K., Raghunathan, A.: Analysis and characterization of inherent application resilience for approximate computing. In: Proceedings of the 50th Annual Design Automation Conference, p. 113. ACM (2013)","key":"11_CR15","DOI":"10.1145\/2463209.2488873"},{"doi-asserted-by":"crossref","unstructured":"Dantas, J., Matos, R., Araujo, J., Oliveira, D., Oliveira, A., Maciel, P.: Hierarchical model and sensitivity analysis for a cloud-based VoD streaming service. In: 2016 46th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks, Workshop, pp. 10\u201316. IEEE (2016)","key":"11_CR16","DOI":"10.1109\/DSN-W.2016.23"},{"issue":"3","key":"11_CR17","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1145\/1816038.1816026","volume":"38","author":"M Kruijf De","year":"2010","unstructured":"De Kruijf, M., Nomura, S., Sankaralingam, K.: Relax: an architectural framework for software recovery of hardware faults. ACM SIGARCH Comput. Archit. News 38(3), 497\u2013508 (2010)","journal-title":"ACM SIGARCH Comput. Archit. News"},{"issue":"1","key":"11_CR18","doi-asserted-by":"publisher","first-page":"151","DOI":"10.2298\/CSIS150228063F","volume":"13","author":"S Filiposka","year":"2016","unstructured":"Filiposka, S., Mishev, A., Juiz, C.: Current prospects towards energy-efficient top HPC systems. Comput. Sci. Inf. Syst. 13(1), 151\u2013171 (2016)","journal-title":"Comput. Sci. Inf. Syst."},{"issue":"1","key":"11_CR19","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1109\/TR.2010.2103672","volume":"60","author":"H Gargama","year":"2011","unstructured":"Gargama, H., Chaturvedi, S.K.: Criticality assessment models for failure mode effects and criticality analysis using fuzzy logic. IEEE Trans. Reliab. 60(1), 102\u2013110 (2011)","journal-title":"IEEE Trans. Reliab."},{"issue":"6","key":"11_CR20","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1109\/TSE.2016.2615311","volume":"43","author":"G Gay","year":"2017","unstructured":"Gay, G., Rayadurgam, S., Heimdahl, M.P.: Automated steering of model-based test oracles to admit real program behaviors. IEEE Trans. Softw. Eng. 43(6), 531\u2013555 (2017)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"11_CR21","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1109\/TR.2010.2104190","volume":"60","author":"S Guo","year":"2011","unstructured":"Guo, S., Huang, H.Z., Wang, Z., Xie, M.: Grid service reliability modeling and optimal task scheduling considering fault recovery. IEEE Trans. Reliab. 60(1), 263\u2013274 (2011)","journal-title":"IEEE Trans. Reliab."},{"doi-asserted-by":"crossref","unstructured":"Han, J., Orshansky, M.: Approximate computing: an emerging paradigm for energy-efficient design. In: 2013 18th IEEE European Test Symposium (ETS), pp. 1\u20136. IEEE (2013)","key":"11_CR22","DOI":"10.1109\/ETS.2013.6569370"},{"issue":"1","key":"11_CR23","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/TSE.2004.1265732","volume":"30","author":"M Harman","year":"2004","unstructured":"Harman, M., et al.: Testability transformation. IEEE Trans. Softw. Eng. 30(1), 3\u201316 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"doi-asserted-by":"crossref","unstructured":"Holler, A., Macher, G., Rauter, T., Iber, J., Kreiner, C.: A virtual fault injection framework for reliability-aware software development. In: 2015 IEEE International Conference on Dependable Systems and Networks Workshops (DSN-W), pp. 69\u201374. IEEE (2015)","key":"11_CR24","DOI":"10.1109\/DSN-W.2015.16"},{"issue":"12","key":"11_CR25","doi-asserted-by":"publisher","first-page":"4662","DOI":"10.1007\/s11227-016-1752-5","volume":"72","author":"S Hukerikar","year":"2016","unstructured":"Hukerikar, S., Lucas, R.F.: Rolex: resilience-oriented language extensions for extreme-scale systems. J. Supercomput. 72(12), 4662\u20134695 (2016)","journal-title":"J. Supercomput."},{"doi-asserted-by":"crossref","unstructured":"Ibtesham, D., DeBonis, D., Arnold, D., Ferreira, K.B.: Coarse-grained energy modeling of rollback\/recovery mechanisms. In: 2014 44th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN), pp. 708\u2013713. IEEE (2014)","key":"11_CR26","DOI":"10.1109\/DSN.2014.71"},{"doi-asserted-by":"crossref","unstructured":"Irrera, I., Vieira, M.: Towards assessing representativeness of fault injection-generated failure data for online failure prediction. In: 2015 IEEE International Conference on Dependable Systems and Networks Workshops (DSN-W), pp. 75\u201380. IEEE (2015)","key":"11_CR27","DOI":"10.1109\/DSN-W.2015.24"},{"doi-asserted-by":"crossref","unstructured":"Jones, T.B., Ackley, D.H.: Comparison criticality in sorting algorithms. In: 2014 44th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN), pp. 726\u2013731. IEEE (2014)","key":"11_CR28","DOI":"10.1109\/DSN.2014.74"},{"doi-asserted-by":"crossref","unstructured":"Jones, T.B., Ackley, D.H.: Scalable robustness. In: 2016 46th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks Workshop, pp. 31\u201338. IEEE (2016)","key":"11_CR29","DOI":"10.1109\/DSN-W.2016.44"},{"doi-asserted-by":"crossref","unstructured":"Kahng, A.B., Kang, S., Kumar, R., Sartori, J.: Slack redistribution for graceful degradation under voltage overscaling. In: Proceedings of the 2010 Asia and South Pacific Design Automation Conference, pp. 825\u2013831. IEEE Press (2010)","key":"11_CR30","DOI":"10.1109\/ASPDAC.2010.5419691"},{"issue":"3","key":"11_CR31","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1109\/TC.2010.253","volume":"61","author":"EP Kim","year":"2012","unstructured":"Kim, E.P., Shanbhag, N.R.: Soft N-modular redundancy. IEEE Trans. Comput. 61(3), 323\u2013336 (2012)","journal-title":"IEEE Trans. Comput."},{"doi-asserted-by":"crossref","unstructured":"Kukunas, J., Cupper, R.D., Kapfhammer, G.M.: A genetic algorithm to improve Linux kernel performance on resource-constrained devices. In: Proceedings of the 12th Annual Conference Companion on Genetic and Evolutionary Computation, pp. 2095\u20132096. ACM (2010)","key":"11_CR32","DOI":"10.1145\/1830761.1830879"},{"key":"11_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-540-31848-4_6","volume-title":"Formal Approaches to Software Testing","author":"KG Larsen","year":"2005","unstructured":"Larsen, K.G., Mikucionis, M., Nielsen, B.: Online testing of real-time systems using Uppaal. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol. 3395, pp. 79\u201394. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/978-3-540-31848-4_6"},{"issue":"4","key":"11_CR34","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/2248487.1950391","volume":"47","author":"S Liu","year":"2012","unstructured":"Liu, S., Pattabiraman, K., Moscibroda, T., Zorn, B.G.: Flikker: saving dram refresh-power through critical data partitioning. ACM SIGPLAN Not. 47(4), 213\u2013224 (2012)","journal-title":"ACM SIGPLAN Not."},{"unstructured":"Mathew, S., Varia, J.: Overview of Amazon Web Services. Amazon Whitepapers (2014)","key":"11_CR35"},{"doi-asserted-by":"crossref","unstructured":"Mohapatra, D., Chippa, V.K., Raghunathan, A., Roy, K.: Design of voltage-scalable meta-functions for approximate computing. In: Design, Automation and Test in Europe Conference and Exhibition (DATE), pp. 1\u20136. IEEE (2011)","key":"11_CR36","DOI":"10.1109\/DATE.2011.5763154"},{"key":"11_CR37","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1155\/2012\/850487","volume":"2012","author":"JS Monson","year":"2012","unstructured":"Monson, J.S., Wirthlin, M., Hutchings, B.: A fault injection analysis of Linux operating on an FPGA-embedded platform. Int. J. Reconfig. Comput. 2012, 7 (2012)","journal-title":"Int. J. Reconfig. Comput."},{"issue":"1","key":"11_CR38","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1109\/TSE.2011.124","volume":"39","author":"R Natella","year":"2013","unstructured":"Natella, R., Cotroneo, D., Duraes, J.A., Madeira, H.S.: On fault representativeness of software fault injection. IEEE Trans. Softw. Eng. 39(1), 80\u201396 (2013)","journal-title":"IEEE Trans. Softw. Eng."},{"doi-asserted-by":"crossref","unstructured":"Oliveira, D.A., Lunardi, C.B., Pilla, L.L., Rech, P., Navaux, P.O., Carro, L.: Radiation sensitivity of high performance computing applications on Kepler-based GPGPUs. In: 2014 44th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN), pp. 732\u2013737. IEEE (2014)","key":"11_CR39","DOI":"10.1109\/DSN.2014.75"},{"doi-asserted-by":"crossref","unstructured":"Pai, G.J., Dugan, J.B.: Empirical analysis of software fault content and fault proneness using Bayesian methods. IEEE Trans. Softw. Eng. 33(10) (2007)","key":"11_CR40","DOI":"10.1109\/TSE.2007.70722"},{"doi-asserted-by":"crossref","unstructured":"Pianc\u00f3, M., Fonseca, B., Antunes, N.: Code change history and software vulnerabilities. In: 2016 46th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks, Workshop, pp. 6\u20139. IEEE (2016)","key":"11_CR41","DOI":"10.1109\/DSN-W.2016.50"},{"doi-asserted-by":"crossref","unstructured":"Raha, A., Raghunathan, V.: Towards full-system energy-accuracy tradeoffs: a case study of an approximate smart camera system. In: Proceedings of the 54th Annual Design Automation Conference 2017, p. 74. ACM (2017)","key":"11_CR42","DOI":"10.1145\/3061639.3062333"},{"key":"11_CR43","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.infsof.2016.05.006","volume":"78","author":"I Rodrigues","year":"2016","unstructured":"Rodrigues, I., Ribeiro, M., Medeiros, F., Borba, P., Fonseca, B., Gheyi, R.: Assessing fine-grained feature dependencies. Inf. Softw. Technol. 78, 27\u201352 (2016)","journal-title":"Inf. Softw. Technol."},{"issue":"4","key":"11_CR44","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1109\/TC.1985.5009383","volume":"100","author":"L Rudolph","year":"1985","unstructured":"Rudolph, L.: A robust sorting network. IEEE Trans. Comput. 100(4), 326\u2013335 (1985)","journal-title":"IEEE Trans. Comput."},{"key":"11_CR45","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1145\/1993316.1993518","volume":"46","author":"A Sampson","year":"2011","unstructured":"Sampson, A., Dietl, W., Fortuna, E., Gnanapragasam, D., Ceze, L., Grossman, D.: EnerJ: approximate data types for safe and general low-power computation. ACM SIGPLAN Not. 46, 164\u2013174 (2011)","journal-title":"ACM SIGPLAN Not."},{"key":"11_CR46","doi-asserted-by":"publisher","first-page":"2364","DOI":"10.1038\/ncomms3364","volume":"4","author":"V Siciliano","year":"2013","unstructured":"Siciliano, V., Garzilli, I., Fracassi, C., Criscuolo, S., Ventre, S., Di Bernardo, D.: MiRNAs confer phenotypic robustness to gene networks by suppressing biological noise. Nat. Commun. 4, 2364 (2013)","journal-title":"Nat. Commun."},{"issue":"1\u20132","key":"11_CR47","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/s12198-009-0025-4","volume":"2","author":"SV Ukkusuri","year":"2009","unstructured":"Ukkusuri, S.V., Yushimito, W.F.: A methodology to assess the criticality of highway transportation networks. J. Transp. Secur. 2(1\u20132), 29\u201346 (2009)","journal-title":"J. Transp. Secur."},{"key":"11_CR48","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04565-7","volume-title":"Approximation Algorithms","author":"VV Vazirani","year":"2001","unstructured":"Vazirani, V.V.: Approximation Algorithms. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/978-3-662-04565-7"},{"doi-asserted-by":"crossref","unstructured":"Xiang, J., Ye, L., Vicario, E., Tadano, K., Machida, F.: Analysis of relevance and importance of components in system reliability. In: 2015 2nd International Symposium on Dependable Computing and Internet of Things (DCIT), pp. 146\u2013147. IEEE (2015)","key":"11_CR49","DOI":"10.1109\/DCIT.2015.17"}],"container-title":["Lecture Notes in Computer Science","Search-Based Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-99241-9_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,22]],"date-time":"2019-10-22T13:34:52Z","timestamp":1571751292000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-99241-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319992402","9783319992419"],"references-count":49,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99241-9_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}