{"id":"https://openalex.org/W2913711852","doi":"https://doi.org/10.1109/tse.2019.2895640","title":"A Theoretical and Empirical Analysis of Program Spectra Diagnosability","display_name":"A Theoretical and Empirical Analysis of Program Spectra Diagnosability","publication_year":2019,"publication_date":"2019-01-29","ids":{"openalex":"https://openalex.org/W2913711852","doi":"https://doi.org/10.1109/tse.2019.2895640","mag":"2913711852"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2019.2895640","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2019.2895640","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5027181451","display_name":"Alexandre Perez","orcid":"https://orcid.org/0000-0002-5809-0550"},"institutions":[{"id":"https://openalex.org/I182534213","display_name":"Universidade do Porto","ror":"https://ror.org/043pwc612","country_code":"PT","type":"education","lineage":["https://openalex.org/I182534213"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Alexandre Perez","raw_affiliation_strings":["Faculty of Engineering, University of Porto, Porto, Portugal"],"raw_orcid":"https://orcid.org/0000-0002-5809-0550","affiliations":[{"raw_affiliation_string":"Faculty of Engineering, University of Porto, Porto, Portugal","institution_ids":["https://openalex.org/I182534213"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030785658","display_name":"Rui Abreu","orcid":"https://orcid.org/0000-0003-3734-3157"},"institutions":[{"id":"https://openalex.org/I121345201","display_name":"Instituto de Engenharia de Sistemas e Computadores Investiga\u00e7\u00e3o e Desenvolvimento","ror":"https://ror.org/04mqy3p58","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I121345201","https://openalex.org/I4210125590"]},{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Rui Abreu","raw_affiliation_strings":["INESC-ID and Instituto Superior T\u00e9nico, University of Lisbon, Lisbon, Portugal"],"raw_orcid":"https://orcid.org/0000-0003-3734-3157","affiliations":[{"raw_affiliation_string":"INESC-ID and Instituto Superior T\u00e9nico, University of Lisbon, Lisbon, Portugal","institution_ids":["https://openalex.org/I121345201","https://openalex.org/I141596103"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090401584","display_name":"Arie van Deursen","orcid":"https://orcid.org/0000-0003-4850-3312"},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Arie van Deursen","raw_affiliation_strings":["Delft University of Technology, Delft, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0003-4850-3312","affiliations":[{"raw_affiliation_string":"Delft University of Technology, Delft, The Netherlands","institution_ids":["https://openalex.org/I98358874"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.2097,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.87302646,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"47","issue":"2","first_page":"412","last_page":"431"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/test-suite","display_name":"Test suite","score":0.7812976837158203},{"id":"https://openalex.org/keywords/metric","display_name":"Metric (unit)","score":0.7310418486595154},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6694046854972839},{"id":"https://openalex.org/keywords/suite","display_name":"Suite","score":0.5908801555633545},{"id":"https://openalex.org/keywords/fault-detection-and-isolation","display_name":"Fault detection and isolation","score":0.5637333393096924},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.5389050245285034},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.47354406118392944},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.4590827524662018},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4494127035140991},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.418615460395813},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.3998104929924011},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.3701684772968292},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.36841878294944763},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2565259635448456},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.20195212960243225},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.18977275490760803},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.08648380637168884},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.08007261157035828}],"concepts":[{"id":"https://openalex.org/C151552104","wikidata":"https://www.wikidata.org/wiki/Q7705809","display_name":"Test suite","level":4,"score":0.7812976837158203},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.7310418486595154},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6694046854972839},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.5908801555633545},{"id":"https://openalex.org/C152745839","wikidata":"https://www.wikidata.org/wiki/Q5438153","display_name":"Fault detection and isolation","level":3,"score":0.5637333393096924},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.5389050245285034},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.47354406118392944},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.4590827524662018},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4494127035140991},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.418615460395813},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3998104929924011},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.3701684772968292},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.36841878294944763},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2565259635448456},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.20195212960243225},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18977275490760803},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.08648380637168884},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08007261157035828},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.0},{"id":"https://openalex.org/C172707124","wikidata":"https://www.wikidata.org/wiki/Q423488","display_name":"Actuator","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tse.2019.2895640","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2019.2895640","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:tudelft.nl:uuid:10485869-51dc-4e28-be80-0a40dd5a37f1","is_oa":false,"landing_page_url":"http://resolver.tudelft.nl/uuid:10485869-51dc-4e28-be80-0a40dd5a37f1","pdf_url":null,"source":{"id":"https://openalex.org/S4306400906","display_name":"Research Repository (Delft University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98358874","host_organization_name":"Delft University of Technology","host_organization_lineage":["https://openalex.org/I98358874"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"journal article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4399999976158142,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":64,"referenced_works":["https://openalex.org/W1362903","https://openalex.org/W150716982","https://openalex.org/W1494294191","https://openalex.org/W1526416044","https://openalex.org/W1581207020","https://openalex.org/W1596127723","https://openalex.org/W1891686678","https://openalex.org/W1965194038","https://openalex.org/W1973644552","https://openalex.org/W1984439778","https://openalex.org/W1988429542","https://openalex.org/W2007358765","https://openalex.org/W2013655083","https://openalex.org/W2016027000","https://openalex.org/W2029973096","https://openalex.org/W2041404167","https://openalex.org/W2054864002","https://openalex.org/W2059018540","https://openalex.org/W2060425093","https://openalex.org/W2065236359","https://openalex.org/W2067416361","https://openalex.org/W2067436653","https://openalex.org/W2077085538","https://openalex.org/W2100414549","https://openalex.org/W2101819268","https://openalex.org/W2104520962","https://openalex.org/W2106285349","https://openalex.org/W2109207167","https://openalex.org/W2110706065","https://openalex.org/W2114208144","https://openalex.org/W2120474334","https://openalex.org/W2126941999","https://openalex.org/W2130323538","https://openalex.org/W2130343490","https://openalex.org/W2135937266","https://openalex.org/W2137522044","https://openalex.org/W2137619003","https://openalex.org/W2147699889","https://openalex.org/W2154897437","https://openalex.org/W2156723666","https://openalex.org/W2162200351","https://openalex.org/W2162661453","https://openalex.org/W2165663378","https://openalex.org/W2168561184","https://openalex.org/W2172154252","https://openalex.org/W2245429186","https://openalex.org/W2343875716","https://openalex.org/W2502397649","https://openalex.org/W2511027470","https://openalex.org/W2515360277","https://openalex.org/W2615681808","https://openalex.org/W2617832356","https://openalex.org/W2978725006","https://openalex.org/W3103568582","https://openalex.org/W4232555015","https://openalex.org/W4243236619","https://openalex.org/W4244452926","https://openalex.org/W6629597612","https://openalex.org/W6631368076","https://openalex.org/W6634949101","https://openalex.org/W6639394754","https://openalex.org/W6684148982","https://openalex.org/W6723954737","https://openalex.org/W7066137163"],"related_works":["https://openalex.org/W1485837041","https://openalex.org/W3204955359","https://openalex.org/W1598160211","https://openalex.org/W2067499928","https://openalex.org/W2018145554","https://openalex.org/W1524028411","https://openalex.org/W2138059712","https://openalex.org/W2127248783","https://openalex.org/W4256285596","https://openalex.org/W1793348505"],"abstract_inverted_index":{"Current":[0],"metrics":[1],"for":[2],"assessing":[3],"the":[4,12,23,31,71,82,85,95,126,131,155,165,192],"adequacy":[5,63],"of":[6,14,73,87,128,139,141],"a":[7,56,67,136,171,179],"test-suite":[8],"plainly":[9],"focus":[10],"on":[11,154],"number":[13],"components":[15,36],"(be":[16],"it":[17],"lines,":[18],"branches,":[19],"paths)":[20],"covered":[21],"by":[22,65,98],"suite,":[24],"but":[25,112],"do":[26],"not":[27,105],"explicitly":[28],"check":[29],"how":[30],"tests":[32],"actually":[33],"exercise":[34],"these":[35],"and":[37,143],"whether":[38],"they":[39,103],"provide":[40],"enough":[41],"information":[42],"so":[43,102],"that":[44,118,146,169],"spectrum-based":[45,75,184],"fault":[46,52,76,185],"localization":[47,77,186],"techniques":[48,122],"can":[49,148],"perform":[50],"accurate":[51],"isolation.":[53],"We":[54,133],"propose":[55],"metric,":[57],"called":[58],"DDU,":[59],"aimed":[60],"at":[61],"complementing":[62],"measurements":[64],"quantifying":[66],"test-suite's":[68],"diagnosability,":[69],"i.e.,":[70],"effectiveness":[72],"applying":[74],"to":[78,93,123,157,176,191],"pinpoint":[79,125],"faults":[80],"in":[81,84,130,183],"code":[83],"event":[86],"test":[88,172],"failures.":[89],"Our":[90],"aim":[91],"is":[92],"increase":[94],"value":[96],"generated":[97],"creating":[99],"thorough":[100],"test-suites,":[101],"are":[104],"only":[106],"regarded":[107],"as":[108,114],"error":[109],"detection":[110],"mechanisms":[111],"also":[113],"effective":[115],"diagnostic":[116],"aids":[117],"help":[119],"widely-used":[120],"fault-localization":[121],"accurately":[124],"location":[127],"bugs":[129],"system.":[132],"have":[134,144],"performed":[135],"topology-based":[137],"simulation":[138],"thousands":[140],"spectra":[142],"found":[145],"DDU":[147,177],"effectively":[149],"establish":[150],"an":[151],"upper":[152],"bound":[153],"effort":[156],"diagnose":[158],"faults.":[159],"Furthermore,":[160],"our":[161],"empirical":[162],"experiments":[163],"using":[164],"Defects4J":[166],"dataset":[167],"show":[168],"optimizing":[170],"suite":[173],"with":[174],"respect":[175],"yields":[178],"34":[180],"percent":[181],"gain":[182],"report":[187],"accuracy":[188],"when":[189],"compared":[190],"standard":[193],"branch-coverage":[194],"metric.":[195]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}