{"id":"https://openalex.org/W4402397363","doi":"https://doi.org/10.1007/978-3-031-71162-6_24","title":"cfaults: Model-Based Diagnosis for\u00a0Fault Localization in\u00a0C with\u00a0Multiple Test Cases","display_name":"cfaults: Model-Based Diagnosis for\u00a0Fault Localization in\u00a0C with\u00a0Multiple Test Cases","publication_year":2024,"publication_date":"2024-09-10","ids":{"openalex":"https://openalex.org/W4402397363","doi":"https://doi.org/10.1007/978-3-031-71162-6_24"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-71162-6_24","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-71162-6_24","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-71162-6_24.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-71162-6_24.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5082828525","display_name":"Pedro Orvalho","orcid":"https://orcid.org/0000-0002-7407-5967"},"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":true,"raw_author_name":"Pedro Orvalho","raw_affiliation_strings":["INESC-ID, IST, Universidade de Lisboa, Lisboa, Portugal"],"affiliations":[{"raw_affiliation_string":"INESC-ID, IST, Universidade de Lisboa, Lisboa, Portugal","institution_ids":["https://openalex.org/I121345201","https://openalex.org/I141596103"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083748570","display_name":"Mikol\u00e1\u0161 Janota","orcid":"https://orcid.org/0000-0003-3487-784X"},"institutions":[{"id":"https://openalex.org/I44504214","display_name":"Czech Technical University in Prague","ror":"https://ror.org/03kqpb082","country_code":"CZ","type":"education","lineage":["https://openalex.org/I44504214"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Mikol\u00e1\u0161 Janota","raw_affiliation_strings":["Czech Technical University in Prague, Prague, Czechia"],"affiliations":[{"raw_affiliation_string":"Czech Technical University in Prague, Prague, Czechia","institution_ids":["https://openalex.org/I44504214"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5033377932","display_name":"Vasco Manquinho","orcid":"https://orcid.org/0000-0002-4205-2189"},"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":"Vasco Manquinho","raw_affiliation_strings":["INESC-ID, IST, Universidade de Lisboa, Lisboa, Portugal"],"affiliations":[{"raw_affiliation_string":"INESC-ID, IST, Universidade de Lisboa, Lisboa, Portugal","institution_ids":["https://openalex.org/I121345201","https://openalex.org/I141596103"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5082828525"],"corresponding_institution_ids":["https://openalex.org/I121345201","https://openalex.org/I141596103"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":3.5204,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.94594595,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"463","last_page":"481"},"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.9997000098228455,"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.9997000098228455,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9984999895095825,"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/T12127","display_name":"Software System Performance and Reliability","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/computer-science","display_name":"Computer science","score":0.8041427731513977},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.6088141202926636},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.5199724435806274},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3896404206752777},{"id":"https://openalex.org/keywords/seismology","display_name":"Seismology","score":0.09547829627990723},{"id":"https://openalex.org/keywords/geology","display_name":"Geology","score":0.08436572551727295}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8041427731513977},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.6088141202926636},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.5199724435806274},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3896404206752777},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.09547829627990723},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.08436572551727295},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-031-71162-6_24","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-71162-6_24","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-71162-6_24.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-71162-6_24","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-71162-6_24","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-71162-6_24.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2187303044","display_name":null,"funder_award_id":"ERC CZ","funder_id":"https://openalex.org/F4320321005","funder_display_name":"Ministerstvo \u0160kolstv\u00ed, Ml\u00e1de\u017ee a T\u011blov\u00fdchovy"},{"id":"https://openalex.org/G2441341484","display_name":null,"funder_award_id":"UIDB/50021/2020","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G3272457656","display_name":null,"funder_award_id":"UIDB/","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G3284537356","display_name":null,"funder_award_id":"SFRH/B","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G5310039020","display_name":null,"funder_award_id":"PTDC/CCI-COM/2156/2021","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G5317956557","display_name":null,"funder_award_id":"2020.","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G5818630289","display_name":null,"funder_award_id":"SFRH/BD/","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G6251754251","display_name":null,"funder_award_id":"951847","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G6299983296","display_name":null,"funder_award_id":"PTDC/","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G6837089890","display_name":null,"funder_award_id":"ROBOPROX","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G724804869","display_name":null,"funder_award_id":"SFRH/","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G8051717526","display_name":null,"funder_award_id":"Grant","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8318064016","display_name":null,"funder_award_id":"Horizon","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8343064509","display_name":null,"funder_award_id":"857306","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320321005","display_name":"Ministerstvo \u0160kolstv\u00ed, Ml\u00e1de\u017ee a T\u011blov\u00fdchovy","ror":"https://ror.org/037n8p820"},{"id":"https://openalex.org/F4320334779","display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","ror":"https://ror.org/00snfqn58"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4402397363.pdf"},"referenced_works_count":37,"referenced_works":["https://openalex.org/W9697679","https://openalex.org/W1562679818","https://openalex.org/W1883733964","https://openalex.org/W1966982815","https://openalex.org/W1971137495","https://openalex.org/W1982205631","https://openalex.org/W1985900990","https://openalex.org/W2009080961","https://openalex.org/W2010833880","https://openalex.org/W2013655083","https://openalex.org/W2020169768","https://openalex.org/W2043876870","https://openalex.org/W2058547057","https://openalex.org/W2093535699","https://openalex.org/W2108309071","https://openalex.org/W2112173236","https://openalex.org/W2115436681","https://openalex.org/W2129538349","https://openalex.org/W2165663378","https://openalex.org/W2171999426","https://openalex.org/W2172154252","https://openalex.org/W2290416502","https://openalex.org/W2343875716","https://openalex.org/W2809729522","https://openalex.org/W2905489084","https://openalex.org/W2964813204","https://openalex.org/W3042730451","https://openalex.org/W3141991053","https://openalex.org/W3145163650","https://openalex.org/W4232512250","https://openalex.org/W4240558819","https://openalex.org/W4283219465","https://openalex.org/W4283752895","https://openalex.org/W4308643020","https://openalex.org/W4387185460","https://openalex.org/W4402438615","https://openalex.org/W6911563302"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W2382290278","https://openalex.org/W4395014643"],"abstract_inverted_index":{"Abstract":[0],"Debugging":[1],"is":[2,113],"one":[3],"of":[4,30,103,130],"the":[5,93,134],"most":[6],"time-consuming":[7],"and":[8,73,91,107,121],"expensive":[9],"tasks":[10],"in":[11],"software":[12],"development.":[13],"Several":[14],"formula-based":[15],"fault":[16,56,94],"localization":[17,57,95],"(FBFL)":[18],"methods":[19],"have":[20],"been":[21],"proposed,":[22],"but":[23],"they":[24],"fail":[25],"to":[26,138],"guarantee":[27],"a":[28,54,80],"set":[29],"diagnoses":[31,40,129],"across":[32,89],"all":[33,75],"failing":[34,76],"tests":[35],"or":[36],"may":[37],"produce":[38],"redundant":[39,140],"that":[41,111],"are":[42],"not":[43],"subset-minimal,":[44],"particularly":[45],"for":[46,59],"programs":[47,61],"with":[48,62,70],"multiple":[49,63,71],"faults.":[50,64],"This":[51],"paper":[52],"introduces":[53],"novel":[55],"approach":[58],"C":[60,104],"CFaults":[65,112,125],"leverages":[66],"Model-Based":[67],"Diagnosis":[68],"(MBD)":[69],"observations":[72,90],"aggregates":[74],"test":[77],"cases":[78],"into":[79],"unified":[81],"MaxSAT":[82],"formula.":[83],"Consequently,":[84],"our":[85],"method":[86],"guarantees":[87],"consistency":[88],"simplifies":[92],"procedure.":[96],"Experimental":[97],"results":[98],"on":[99],"two":[100],"benchmark":[101],"sets":[102],"programs,":[105],"TCAS":[106],"C-Pack-IPAs":[108],",":[109],"show":[110],"faster":[114],"than":[115],"other":[116,135],"FBFL":[117],"approaches":[118,136],"like":[119],"BugAssist":[120],"SNIPER":[122],".":[123],"Moreover,":[124],"only":[126],"generates":[127],"subset-minimal":[128],"faulty":[131],"statements,":[132],"whereas":[133],"tend":[137],"enumerate":[139],"diagnoses.":[141]},"counts_by_year":[{"year":2025,"cited_by_count":3}],"updated_date":"2026-04-13T07:58:08.660418","created_date":"2025-10-10T00:00:00"}