{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,24]],"date-time":"2026-10-24T05:54:15Z","timestamp":1792821255620,"version":"4.5.0"},"reference-count":95,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2020,3,1]],"date-time":"2020-03-01T00:00:00Z","timestamp":1583020800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,3,1]],"date-time":"2020-03-01T00:00:00Z","timestamp":1583020800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,3,1]],"date-time":"2020-03-01T00:00:00Z","timestamp":1583020800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"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","id":[{"id":"10.13039\/100007388","id-type":"DOI","asserted-by":"publisher"}]},{"name":"BMBF TUD-CRISP"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2020,3,1]]},"DOI":"10.1109\/tse.2018.2850755","type":"journal-article","created":{"date-parts":[[2018,6,26]],"date-time":"2018-06-26T18:58:35Z","timestamp":1530039515000},"page":"280-301","source":"Crossref","is-referenced-by-count":19,"title":["Analyzing the Effects of Bugs on Software Interfaces"],"prefix":"10.1109","volume":"46","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1084-4824","authenticated-orcid":false,"given":"Roberto","family":"Natella","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8244-995X","authenticated-orcid":false,"given":"Stefan","family":"Winter","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7103-592X","authenticated-orcid":false,"given":"Domenico","family":"Cotroneo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1106-7668","authenticated-orcid":false,"given":"Neeraj","family":"Suri","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref73","author":"hunt","year":"1976","journal-title":"An Algorithm for Differential File Comparison"},{"key":"ref72","first-page":"377","article-title":"Engineering record and replay for deployability","author":"o'callahan","year":"2017","journal-title":"Proc 2017 (USENIX) Ann Tech Conf"},{"key":"ref71","first-page":"28","article-title":"AddressSanitizer: A fast address sanity checker","author":"serebryany","year":"2012","journal-title":"Proc USENIX Conf Annu Tech Conf"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2501"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2014.2"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2014.2327967"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1007\/BF01840446"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2001.941402"},{"key":"ref75","year":"2017"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2005.25"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-45477-1_2"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2003.1261389"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73551-9_10"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2005.18"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/METRIC.2004.1357923"},{"key":"ref30","article-title":"Estimating error propagation probabilities in software architectures","author":"nassar","year":"2002"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/32.44380"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13238-4_1"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/SSIRI.2010.12"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2008.46"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2003.1228509"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1002\/9780470370506"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1145\/102792.102801"},{"key":"ref63","year":"2018"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.94"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.124"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-5316(01)00034-7"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1007\/11408901_19"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2013.54"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2008.32"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1109\/32.177364"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.49"},{"key":"ref69","author":"cormen","year":"2009","journal-title":"Introduction to Algorithms"},{"key":"ref2","author":"bishop","year":"2001","journal-title":"Justifying the Use of Software of Uncertain Pedigree (SOUP) in Safety-Related Applications"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/52.663777"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.2514\/6.2009-1882"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2560217.2560218"},{"key":"ref21","first-page":"1","article-title":"Space software validation using abstract interpretation","author":"bouissou","year":"2009","journal-title":"Proc Int Space Syst Eng Conf Data Syst Aerosp"},{"key":"ref24","year":"2011","journal-title":"Road vehicles – Functional safety – Part 6 Product development at the software level"},{"key":"ref23","year":"2011","journal-title":"Road vehicles – Functional safety – Part 4 Product development at the system level"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/12.364536"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/12.54853"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/2063509.2063511"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC.2006.16"},{"key":"ref95","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786844"},{"key":"ref94","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1109\/TSE.2006.92","article-title":"On the use of mutation faults in empirical assessments of test case prioritization techniques","volume":"32","author":"do","year":"2006","journal-title":"IEEE Trans Softw Eng"},{"key":"ref93","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062530"},{"key":"ref92","doi-asserted-by":"publisher","DOI":"10.1145\/226295.226313"},{"key":"ref91","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-005-3861-2"},{"key":"ref90","article-title":"SPEC CPU2006: Read me first","year":"2017"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1994.315654"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.2514\/6.1993-4698"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2005.45"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2610418"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1998.689475"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/32.256857"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2002.1185618"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2841425"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-013-9258-8"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2004.1275294"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1991.146625"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/12.919278"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.113"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"ref82","first-page":"40","article-title":"Enhanced operating system security through efficient and fine-grained address space randomization","author":"giuffrida","year":"2012","journal-title":"Proc 21st USENIX Conf Security Symp"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/2.585157"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1145\/2248487.2150990"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC.2012.12"},{"key":"ref84","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1186736.1186737","article-title":"SPEC CPU2006 benchmark descriptions","volume":"34","author":"henning","year":"2006","journal-title":"ACM SIGARCH Comput Archit News"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2016.2522968"},{"key":"ref83","first-page":"941","article-title":"Enforcing forward-edge control-flow integrity in GCC & LLVM","author":"tice","year":"2014","journal-title":"Proc 23rd USENIX Secur Symp"},{"key":"ref19","article-title":"Joint strike fighter, air vehicle, C++ coding standard","year":"2005"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2007.346195"},{"key":"ref89","doi-asserted-by":"publisher","DOI":"10.1109\/DS-RT.2008.44"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/32.877845"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2677909"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/52.714817"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/12.980005"},{"key":"ref85","doi-asserted-by":"publisher","DOI":"10.1007\/978-90-481-8764-5_5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/2.683008"},{"key":"ref86","doi-asserted-by":"publisher","DOI":"10.1145\/956863.956898"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73066-8_6"},{"key":"ref49","first-page":"1","article-title":"FIG: A prototype tool for online verification of recovery mechanisms","author":"broadwell","year":"2002","journal-title":"Workshop on Self-Healing Adaptive and Self-Managed Systems"},{"key":"ref87","article-title":"Quantum simulations of complex many-body systems: From theory to algorithms","volume":"11","author":"grotendorst","year":"2002","journal-title":"Publication Series of the John Von Neumann Institute for Computing"},{"key":"ref88","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/j.websem.2004.03.001","article-title":"Quality of service for workflows and web service processes","volume":"1","author":"cardoso","year":"2004","journal-title":"J Web Semantics"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1996.534615"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/52.73748"},{"key":"ref45","author":"marick","year":"1994","journal-title":"The Craft of Software Testing"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-017-9571-8"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/52.595959"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2007.71"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/ICDSN.2000.857571"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/96267.96279"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985801"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/9036010\/08396273.pdf?arnumber=8396273","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T14:34:46Z","timestamp":1651070086000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8396273\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3,1]]},"references-count":95,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tse.2018.2850755","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"},{"value":"2326-3881","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,3,1]]}}}