{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,26]],"date-time":"2025-11-26T16:33:11Z","timestamp":1764174791514,"version":"3.37.3"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2020,3,13]],"date-time":"2020-03-13T00:00:00Z","timestamp":1584057600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,3,13]],"date-time":"2020-03-13T00:00:00Z","timestamp":1584057600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100003407","name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003407","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100007195","name":"Universit\u00e0 degli Studi di Napoli Federico II","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100007195","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100007388","name":"Compagnia di San Paolo","doi-asserted-by":"publisher","award":["Programme STAR - COSIEM Project"],"award-info":[{"award-number":["Programme STAR - COSIEM Project"]}],"id":[{"id":"10.13039\/100007388","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Empir Software Eng"],"published-print":{"date-parts":[[2020,7]]},"DOI":"10.1007\/s10664-020-09801-2","type":"journal-article","created":{"date-parts":[[2020,3,13]],"date-time":"2020-03-13T17:02:52Z","timestamp":1584118972000},"page":"2450-2484","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["An empirical analysis of error propagation in critical software systems"],"prefix":"10.1007","volume":"25","author":[{"given":"Marcello","family":"Cinque","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1280-6875","authenticated-orcid":false,"given":"Raffaele","family":"Della Corte","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Pecchia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,3,13]]},"reference":[{"key":"9801_CR1","doi-asserted-by":"publisher","unstructured":"Abdelmoez W, Nassar DM, Shereshevsky M, Gradetsky N, Gunnalan R, Ammar HH, Yu B, Mili A (2004) Error propagation in software architectures. In: 10th international symposium on software metrics, 2004. Proceedings., pages 384\u2013393. https:\/\/doi.org\/10.1109\/METRIC.2004.1357923","DOI":"10.1109\/METRIC.2004.1357923"},{"issue":"1","key":"9801_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 (2004) Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing 1(1):11\u201333. ISSN 1545-5971. https:\/\/doi.org\/10.1109\/TDSC.2004.2","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"key":"9801_CR3","doi-asserted-by":"publisher","unstructured":"Arora A, Kulkarni SS (1998) Detectors and correctors: a theory of fault-tolerance components. In: Proceedings. 18th international conference on distributed computing systems (Cat. No.98CB36183), pp 436\u2013443. https:\/\/doi.org\/10.1109\/ICDCS.1998.679772","DOI":"10.1109\/ICDCS.1998.679772"},{"key":"9801_CR4","doi-asserted-by":"crossref","unstructured":"Bondy JA, Murty USR, et al. (1976) Graph theory with applications, vol 290. Citeseer","DOI":"10.1007\/978-1-349-03521-2"},{"key":"9801_CR5","doi-asserted-by":"publisher","unstructured":"Calhoun J, Snir M, Olson LN, Gropp WD (2017) Towards a more complete understanding of SDC propagation. In: Proceedings of the 26th international symposium on high-performance parallel and distributed computing, HPDC \u201917. ISBN 978-1-4503-4699-3. ACM, New York, pp 131\u2013142. https:\/\/doi.org\/10.1145\/3078597.3078617","DOI":"10.1145\/3078597.3078617"},{"issue":"6","key":"9801_CR6","doi-asserted-by":"publisher","first-page":"806","DOI":"10.1109\/TSE.2012.67","volume":"39","author":"M Cinque","year":"2013","unstructured":"Cinque M, Cotroneo D, Pecchia A (2013) Event logs for the analysis of software failures: a rule-based approach. IEEE Trans Softw Eng 39(6):806\u2013821. ISSN 0098-5589. https:\/\/doi.org\/10.1109\/TSE.2012.67","journal-title":"IEEE Trans Softw Eng"},{"issue":"4","key":"9801_CR7","doi-asserted-by":"publisher","first-page":"1665","DOI":"10.1109\/TR.2016.2570564","volume":"65","author":"M Cinque","year":"2016","unstructured":"Cinque M, Cotroneo D, Della Corte R, Pecchia A (2016) Characterizing direct monitoring techniques in software systems. IEEE Transactions on Reliability 65 (4):1665\u20131681. ISSN 0018-9529. https:\/\/doi.org\/10.1109\/TR.2016.2570564","journal-title":"IEEE Transactions on Reliability"},{"key":"9801_CR8","doi-asserted-by":"publisher","unstructured":"Chan A, Winter S, Saissi H, Pattabiraman K, Suri N (2017) IPA: Error propagation analysis of multi-threaded programs using likely invariants. In: IEEE international conference on software testing, verification and validation (ICST), pp 184\u2013195. https:\/\/doi.org\/10.1109\/ICST.2017.24","DOI":"10.1109\/ICST.2017.24"},{"key":"9801_CR9","doi-asserted-by":"publisher","first-page":"943","DOI":"10.1109\/32.177364","volume":"18","author":"R Chillarege","year":"1992","unstructured":"Chillarege R, Bhandari IS, Chaar JK, Halliday MJ, Moebus DS, Ray BK, Wong M-Y (1992) Orthogonal defect classification-a concept for in-process measurements. IEEE Trans Softw Eng 18:943\u2013956. ISSN 0098-5589. http:\/\/doi.ieeecomputersociety.org\/10.1109\/32.177364","journal-title":"IEEE Trans Softw Eng"},{"key":"9801_CR10","doi-asserted-by":"publisher","unstructured":"Chuah E, Jhumka A, Browne JC, Barth B, Narasimhamurthy S (2015) Insights into the diagnosis of system failures from cluster message logs. In: 11th European dependable computing conference (EDCC), pp 225\u2013232. https:\/\/doi.org\/10.1109\/EDCC.2015.19","DOI":"10.1109\/EDCC.2015.19"},{"key":"9801_CR11","doi-asserted-by":"publisher","unstructured":"Cortellessa V, Grassi V (2007) Component-based software engineering: 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings, chapter A Modeling Approach to Analyze the Impact of Error Propagation on Reliability of Component-Based Systems, pages 140\u2013156. Springer Berlin Heidelberg, Berlin, Heidelberg. ISBN 978-3-540-73551-9. https:\/\/doi.org\/10.1007\/978-3-540-73551-9_10","DOI":"10.1007\/978-3-540-73551-9_10"},{"issue":"11","key":"9801_CR12","doi-asserted-by":"publisher","first-page":"849","DOI":"10.1109\/TSE.2006.113","volume":"32","author":"JA Duraes","year":"2006","unstructured":"Duraes JA, Madeira HS (2006) Emulation of software faults: a field data study and a practical approach. IEEE Trans Softw Eng 32(11):849\u2013867. ISSN 0098-5589. https:\/\/doi.org\/10.1109\/TSE.2006.113","journal-title":"IEEE Trans Softw Eng"},{"key":"9801_CR13","doi-asserted-by":"crossref","unstructured":"Filieri A, Ghezzi C, Grassi V, Mirandola R (2010) Reliability analysis of component-based systems with multiple failure modes. In: Grunske L, Reussner R, Plasil F (eds) Component-Based Software Engineering. Springer, Berlin, pp 1\u201320","DOI":"10.1007\/978-3-642-13238-4_1"},{"key":"9801_CR14","doi-asserted-by":"publisher","unstructured":"Hiller M, Jhumka A, Suri N (2002a) Propane: An environment for examining the propagation of errors in software. In: Proceedings of the 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA, pp 81\u201385, New York, NY, USA. ACM. ISBN 1-58113-562-9. https:\/\/doi.org\/10.1145\/566172.566184","DOI":"10.1145\/566172.566184"},{"key":"9801_CR15","doi-asserted-by":"publisher","unstructured":"Hiller M, Jhumka A, Suri N (2002b) On the placement of software mechanisms for detection of data errors. In: IEEE international conference on dependable systems and networks, pp 135\u2013144. https:\/\/doi.org\/10.1109\/DSN.2002.1028894","DOI":"10.1109\/DSN.2002.1028894"},{"issue":"5","key":"9801_CR16","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1109\/TC.2004.1275294","volume":"53","author":"M Hiller","year":"2004","unstructured":"Hiller M, Jhumka A, Suri N (2004) Epic: profiling the propagation and effect of data errors in software. IEEE Transactions on Computers 53(5):512\u2013530. ISSN 0018-9340. https:\/\/doi.org\/10.1109\/TC.2004.1275294","journal-title":"IEEE Transactions on Computers"},{"issue":"4","key":"9801_CR17","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1109\/2.585157","volume":"30","author":"MC Hsueh","year":"1997","unstructured":"Hsueh MC, Tsai TK, Iyer R (1997) Fault injection techniques and tools. IEEE Computer 30(4):75\u201382","journal-title":"IEEE Computer"},{"key":"9801_CR18","doi-asserted-by":"publisher","unstructured":"Jhumka A, Hiller M, Suri N (2001) Assessing inter-modular error propagation in distributed software. In: 20th IEEE symposium on reliable distributed systems, 2001. Proceedings, pp 152\u2013161. https:\/\/doi.org\/10.1109\/RELDIS.2001.969769","DOI":"10.1109\/RELDIS.2001.969769"},{"key":"9801_CR19","doi-asserted-by":"publisher","unstructured":"Jhumka A, Leeke M (2011) The early identification of detector locations in dependable software. In: IEEE 22nd international symposium on software reliability engineering, pp 40\u201349. https:\/\/doi.org\/10.1109\/ISSRE.2011.34","DOI":"10.1109\/ISSRE.2011.34"},{"key":"9801_CR20","doi-asserted-by":"publisher","unstructured":"Johansson A, Suri N (2005) Error propagation profiling of operating systems. In: International conference on dependable systems and networks, 2005. DSN 2005. Proceedings. pp 86\u201395. https:\/\/doi.org\/10.1109\/DSN.2005.45","DOI":"10.1109\/DSN.2005.45"},{"issue":"1","key":"9801_CR21","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/s10664-017-9518-0","volume":"23","author":"S Kabinna","year":"2018","unstructured":"Kabinna S, Bezemer C-P, Shang W, Syer MD, Hassan AE (2018) Examining the stability of logging statements. Empirical Software Engineering 23(1):290\u2013333. ISSN 1573-7616. https:\/\/doi.org\/10.1007\/s10664-017-9518-0","journal-title":"Empirical Software Engineering"},{"key":"9801_CR22","doi-asserted-by":"crossref","unstructured":"Kalyanakrishnam M, Kalbarczyk Z, Iyer R (1999) Failure data analysis of a LAN of windows NT based computers. In: Proceedings of the international symposium on reliable distributed systems (SRDS). IEEE Computer Society, pp 178\u2013187","DOI":"10.1109\/RELDIS.1999.805094"},{"key":"9801_CR23","doi-asserted-by":"publisher","unstructured":"Khoshgoftaar TM, Allen EB, Tang WH, Michael CC, Voas JM (1999) Identifying modules which do not propagate errors. In: IEEE symposium on application-specific systems and software engineering and technology (ASSET), pp 185\u2013193. https:\/\/doi.org\/10.1109\/ASSET.1999.756768","DOI":"10.1109\/ASSET.1999.756768"},{"key":"9801_CR24","doi-asserted-by":"crossref","unstructured":"Lattner C, Adve V (2004) LLVM: a compilation framework for lifelong program analysis & transformation. In: Proceedings of the international symposium on code generation and optimization: feedback-directed and runtime optimization, CGO \u201904. ISBN 0-7695-2102-9. IEEE Computer Society, Washington, pp 75\u2013. http:\/\/dl.acm.org\/citation.cfm?id=977395.977673","DOI":"10.1109\/CGO.2004.1281665"},{"issue":"10","key":"9801_CR25","doi-asserted-by":"publisher","first-page":"709","DOI":"10.1109\/TSE.2007.70726","volume":"33","author":"KK Lau","year":"2007","unstructured":"Lau KK, Wang Z (2007) Software component models. IEEE Trans Softw Eng 33(10):709\u2013724. ISSN 0098-5589. https:\/\/doi.org\/10.1109\/TSE.2007.70726","journal-title":"IEEE Trans Softw Eng"},{"key":"9801_CR26","doi-asserted-by":"publisher","unstructured":"Leeke M, Jhumka A (2010) Towards understanding the importance of variables in dependable software. In: 2010 European Dependable Computing Conference (EDCC), pp 85\u201394. https:\/\/doi.org\/10.1109\/EDCC.2010.20","DOI":"10.1109\/EDCC.2010.20"},{"issue":"5","key":"9801_CR27","doi-asserted-by":"publisher","first-page":"2655","DOI":"10.1007\/s10664-018-9595-8","volume":"23","author":"H Li","year":"2018","unstructured":"Li H, Chen T-H(Peter), Shang W, Hassan AE (2018) Studying software logging using topic models. Empirical Software Engineering 23(5):2655\u20132694. ISSN 1573-7616. https:\/\/doi.org\/10.1007\/s10664-018-9595-8","journal-title":"Empirical Software Engineering"},{"key":"9801_CR28","volume-title":"Handbook of software reliability engineering, vol 222","author":"MR Lyu","year":"1996","unstructured":"Lyu MR, et al. (1996) Handbook of software reliability engineering, vol 222. IEEE Computer Society Press, CA"},{"key":"9801_CR29","doi-asserted-by":"publisher","unstructured":"Michael CC, Jones RC (1997) On the uniformity of error propagation in software. In: Proceedings of the 12th annual conference on computer assurance, 1997. COMPASS \u201997. Are we making progress towards computer assurance?, pp 68\u201376. https:\/\/doi.org\/10.1109\/CMPASS.1997.613237","DOI":"10.1109\/CMPASS.1997.613237"},{"issue":"11","key":"9801_CR30","doi-asserted-by":"publisher","first-page":"1921","DOI":"10.1109\/TKDE.2011.138","volume":"24","author":"A Makanju","year":"2012","unstructured":"Makanju A, Zincir-Heywood AN, Milios EE (2012) A lightweight algorithm for message type extraction in system application logs. IEEE Trans Knowledge Data Eng 24(11):1921\u20131936. ISSN 1041-4347. https:\/\/doi.org\/10.1109\/TKDE.2011.138","journal-title":"IEEE Trans Knowledge Data Eng"},{"issue":"5","key":"9801_CR31","doi-asserted-by":"publisher","first-page":"640","DOI":"10.1109\/TDSC.2010.19","volume":"8","author":"K Pattabiraman","year":"2011","unstructured":"Pattabiraman K, Saggese GP, Chen D, Kalbarczyk Z, Iyer R (2011) Automated derivation of application-specific error detectors using dynamic analysis. IEEE Transactions on Dependable and Secure Computing 8(5):640\u2013655. ISSN 1545-5971. https:\/\/doi.org\/10.1109\/TDSC.2010.19","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"key":"9801_CR32","doi-asserted-by":"publisher","unstructured":"Popic P, Desovski D, Abdelmoez W, Cukic B (2005) Error propagation in the reliability analysis of component based systems. In: 16th IEEE international symposium on software reliability engineering, 2005. ISSRE 2005, pp 10\u201362. https:\/\/doi.org\/10.1109\/ISSRE.2005.18","DOI":"10.1109\/ISSRE.2005.18"},{"key":"9801_CR33","doi-asserted-by":"crossref","unstructured":"Rosenblum DS (1995) A practical approach to programming with assertions. IEEE Trans Softw Eng, p 21","DOI":"10.1109\/32.341844"},{"issue":"4","key":"9801_CR34","doi-asserted-by":"publisher","first-page":"879","DOI":"10.1007\/s10664-014-9303-2","volume":"20","author":"B Russo","year":"2015","unstructured":"Russo B, Succi G, Pedrycz W (2015) Mining system logs to learn error predictors: a case study of a telemetry system. Empirical Software Engineering 20(4):879\u2013927. ISSN 1573-7616. https:\/\/doi.org\/10.1007\/s10664-014-9303-2","journal-title":"Empirical Software Engineering"},{"issue":"11","key":"9801_CR35","doi-asserted-by":"publisher","first-page":"754","DOI":"10.1109\/TSE.2004.87","volume":"30","author":"J Tian","year":"2004","unstructured":"Tian J, Rudraraju S, Li Z (2004) Evaluating web software reliability based on workload and failure data extracted from server logs. IEEE Trans Soft Eng 30 (11):754\u2013769. ISSN 0098-5589. https:\/\/doi.org\/10.1109\/TSE.2004.87","journal-title":"IEEE Trans Soft Eng"},{"key":"9801_CR36","doi-asserted-by":"publisher","unstructured":"Tucek J, Lu S, Huang C, Xanthos S, Zhou Y (2007) Triage: Diagnosing production run failures at the user\u2019s site. In: Proceedings of Twenty-first ACM SIGOPS symposium on operating systems principles, SOSP \u201907, pp 131\u2013144, New York, NY, USA. ACM. ISBN 978-1-59593-591-5. https:\/\/doi.org\/10.1145\/1294261.1294275","DOI":"10.1145\/1294261.1294275"},{"issue":"6","key":"9801_CR37","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1049\/cce:19970607","volume":"8","author":"J Voas","year":"1997","unstructured":"Voas J (1997) Error propagation analysis for cots systems. Computing Control Engineering Journal 8(6):269\u2013272. ISSN 0956-3385. https:\/\/doi.org\/10.1049\/cce:19970607","journal-title":"Computing Control Engineering Journal"},{"key":"9801_CR38","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4625-2","volume-title":"Experimentation in software engineering: an introduction","author":"C Wohlin","year":"2000","unstructured":"Wohlin C, Runeson P, H\u00f6st M, Ohlsson MC, Regnell B, Wessl\u00e9n A (2000) Experimentation in software engineering: an introduction. Kluwer Academic Publishers, Norwell. ISBN 0-7923-8682-5"},{"issue":"1","key":"9801_CR39","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1145\/1735970.1736038","volume":"38","author":"D Yuan","year":"2010","unstructured":"Yuan D, Mai H, Xiong W, Tan L, Zhou Y, Pasupathy S (2010) Sherlog: Error diagnosis by connecting clues from run-time logs. SIGARCH Comput Archit News 38(1):143\u2013154. ISSN 0163-5964. https:\/\/doi.org\/10.1145\/1735970.1736038","journal-title":"SIGARCH Comput Archit News"},{"key":"9801_CR40","doi-asserted-by":"publisher","unstructured":"Zheng Z, Lyu MR (2010) Collaborative reliability prediction of service-oriented systems. In: 2010 ACM\/IEEE 32nd international conference on software engineering, vol 1, pp 35\u201344. https:\/\/doi.org\/10.1145\/1806799.1806809","DOI":"10.1145\/1806799.1806809"}],"container-title":["Empirical Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-020-09801-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10664-020-09801-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-020-09801-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,13]],"date-time":"2021-03-13T00:30:05Z","timestamp":1615595405000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10664-020-09801-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3,13]]},"references-count":40,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2020,7]]}},"alternative-id":["9801"],"URL":"https:\/\/doi.org\/10.1007\/s10664-020-09801-2","relation":{},"ISSN":["1382-3256","1573-7616"],"issn-type":[{"type":"print","value":"1382-3256"},{"type":"electronic","value":"1573-7616"}],"subject":[],"published":{"date-parts":[[2020,3,13]]},"assertion":[{"value":"13 March 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}