{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T21:03:40Z","timestamp":1773522220925,"version":"3.50.1"},"reference-count":54,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2021,2,1]],"date-time":"2021-02-01T00:00:00Z","timestamp":1612137600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,2,1]],"date-time":"2021-02-01T00:00:00Z","timestamp":1612137600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,2,1]],"date-time":"2021-02-01T00:00:00Z","timestamp":1612137600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"Fundacao para a Ciencia e a Tecnologia","award":["SFRH\/BD\/95339\/2013"],"award-info":[{"award-number":["SFRH\/BD\/95339\/2013"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2021,2,1]]},"DOI":"10.1109\/tse.2019.2895640","type":"journal-article","created":{"date-parts":[[2019,1,29]],"date-time":"2019-01-29T03:31:06Z","timestamp":1548732666000},"page":"412-431","source":"Crossref","is-referenced-by-count":7,"title":["A Theoretical and Empirical Analysis of Program Spectra Diagnosability"],"prefix":"10.1109","volume":"47","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5809-0550","authenticated-orcid":false,"given":"Alexandre","family":"Perez","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3734-3157","authenticated-orcid":false,"given":"Rui","family":"Abreu","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4850-3312","authenticated-orcid":false,"given":"Arie","family":"van Deursen","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","author":"binder","year":"2000","journal-title":"Testing Object-Oriented Systems Models Patterns and Tools"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/1297846.1297902"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1093\/sysbio\/syq026"},{"key":"ref32","first-page":"152","article-title":"A kernel density estimate-based approach to component goodness modeling","author":"cardoso","year":"2013","journal-title":"Proc 27th AAAI Conf Artif Intell"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1111\/j.2006.0030-1299.14714.x"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.22"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2628055"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1089\/cmb.2007.R012"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/0025-5564(81)90043-2"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2017.9"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/584091.584093"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100153"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21827-9_43"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1994.0025"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/366246.366248"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693085"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2610386"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483767"},{"key":"ref24","first-page":"127","article-title":"Fusion fault localizers","author":"lo","year":"2014","journal-title":"Proc Intl Conf on Automated Software Engineering"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970359"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/VISSOFT.2013.6650539"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001445"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831715"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2011.32"},{"key":"ref54","doi-asserted-by":"crossref","first-page":"654","DOI":"10.1145\/2635868.2635929","article-title":"Are mutants a valid substitute for real faults in software testing?","author":"just","year":"2014","journal-title":"Proc Sixth ACM SIGSOFT Int'l Symp Foundations of Software Eng"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070507"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1497"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.66"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2521368"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336790"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.25"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"172","DOI":"10.3156\/jsoft.26.4_172","article-title":"Extended comprehensive study of association measures for fault localization","volume":"26","author":"lo","year":"2014","journal-title":"Journal of Software: Evolution and Process"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2013.2285319"},{"key":"ref15","first-page":"2","article-title":"A low-cost approximate minimal hitting set algorithm and its application to model-based diagnosis","author":"abreu","year":"2009","journal-title":"Proc 8th Symp Abstraction Reformulation Approximation"},{"key":"ref16","first-page":"911","article-title":"Computing minimal diagnoses by greedy stochastic search","author":"feldman","year":"2008","journal-title":"Proc 23rd AAAI Conf Artif Intell"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39955-8_3"},{"key":"ref18","first-page":"391","article-title":"Software hell","author":"carey","year":"1999","journal-title":"Proc Bus Week"},{"key":"ref19","first-page":"653","article-title":"A new bayesian approach to multiple intermittent fault diagnosis","author":"abreu","year":"2009","journal-title":"Proc 21st Int Joint Conf Artif Intell"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/267580.267590"},{"key":"ref3","article-title":"Mutation analysis of program test data","author":"budd","year":"1980"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101949"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/277631.277647"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2011.22"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.06.035"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970361"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134299"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/2351676.2351682"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368116"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.11.706"},{"key":"ref47","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1145\/2635868.2635906","article-title":"Test case purification for improving fault localization","author":"xuan","year":"2014","journal-title":"Proc 2nd ACM SIGSOFT Symp on Foundations of Software Engineering"},{"key":"ref42","first-page":"840","article-title":"Framing program comprehension as fault localization","volume":"28","author":"perez","year":"2016","journal-title":"Journal of Software: Evolution and Process"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.47"},{"key":"ref44","article-title":"Exploring DDU in Practice","author":"ang","year":"2018"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606623"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/9352984\/08627980.pdf?arnumber=8627980","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T14:50:09Z","timestamp":1652194209000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8627980\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2,1]]},"references-count":54,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tse.2019.2895640","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":[[2021,2,1]]}}}