{"id":"https://openalex.org/W7167710047","doi":"https://doi.org/10.1145/3786582.3786836","title":"Abductive Reasoning for Neurosymbolic Fault Localization","display_name":"Abductive Reasoning for Neurosymbolic Fault Localization","publication_year":2026,"publication_date":"2026-04-12","ids":{"openalex":"https://openalex.org/W7167710047","doi":"https://doi.org/10.1145/3786582.3786836"},"language":null,"primary_location":{"id":"doi:10.1145/3786582.3786836","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3786582.3786836","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the IEEE/ACM 48th International Conference on Software Engineering","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3786582.3786836","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5140267932","display_name":"Minh Tam Le","orcid":"https://orcid.org/0009-0006-8301-0758"},"institutions":[{"id":"https://openalex.org/I129604602","display_name":"The University of Sydney","ror":"https://ror.org/0384j8v12","country_code":"AU","type":"education","lineage":["https://openalex.org/I129604602"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Minh Tam Le","raw_affiliation_strings":["University of Sydney, Sydney, Australia"],"raw_orcid":"https://orcid.org/0009-0006-8301-0758","affiliations":[{"raw_affiliation_string":"University of Sydney, Sydney, Australia","institution_ids":["https://openalex.org/I129604602"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081182489","display_name":"Xi Zheng","orcid":"https://orcid.org/0000-0002-2572-2355"},"institutions":[{"id":"https://openalex.org/I99043593","display_name":"Macquarie University","ror":"https://ror.org/01sf06y89","country_code":"AU","type":"education","lineage":["https://openalex.org/I99043593"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Xi Zheng","raw_affiliation_strings":["Macquarie University, Sydney, Australia"],"raw_orcid":"https://orcid.org/0000-0002-2572-2355","affiliations":[{"raw_affiliation_string":"Macquarie University, Sydney, Australia","institution_ids":["https://openalex.org/I99043593"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027335548","display_name":"Hong Jin Kang","orcid":"https://orcid.org/0000-0001-7335-7295"},"institutions":[{"id":"https://openalex.org/I129604602","display_name":"The University of Sydney","ror":"https://ror.org/0384j8v12","country_code":"AU","type":"education","lineage":["https://openalex.org/I129604602"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Hong Jin Kang","raw_affiliation_strings":["University of Sydney, Sydney, Australia"],"raw_orcid":"https://orcid.org/0000-0001-7335-7295","affiliations":[{"raw_affiliation_string":"University of Sydney, Sydney, Australia","institution_ids":["https://openalex.org/I129604602"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"186","last_page":"190"},"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.8342999815940857,"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.8342999815940857,"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.0625,"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/T12127","display_name":"Software System Performance and Reliability","score":0.01889999955892563,"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/selection","display_name":"Selection (genetic algorithm)","score":0.5462999939918518},{"id":"https://openalex.org/keywords/abductive-reasoning","display_name":"Abductive reasoning","score":0.5389999747276306},{"id":"https://openalex.org/keywords/root-cause","display_name":"Root cause","score":0.4896000027656555},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.48510000109672546},{"id":"https://openalex.org/keywords/fault-tree-analysis","display_name":"Fault tree analysis","score":0.43220001459121704},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.3440000116825104}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6626999974250793},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5478000044822693},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.5462999939918518},{"id":"https://openalex.org/C166088908","wikidata":"https://www.wikidata.org/wiki/Q308495","display_name":"Abductive reasoning","level":2,"score":0.5389999747276306},{"id":"https://openalex.org/C84945661","wikidata":"https://www.wikidata.org/wiki/Q7366567","display_name":"Root cause","level":2,"score":0.4896000027656555},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.48510000109672546},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.4397999942302704},{"id":"https://openalex.org/C107094494","wikidata":"https://www.wikidata.org/wiki/Q428453","display_name":"Fault tree analysis","level":2,"score":0.43220001459121704},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.41850000619888306},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.3440000116825104},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.3334999978542328},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.3264999985694885},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.2888999879360199},{"id":"https://openalex.org/C171078966","wikidata":"https://www.wikidata.org/wiki/Q111029","display_name":"Root (linguistics)","level":2,"score":0.2685000002384186},{"id":"https://openalex.org/C33762810","wikidata":"https://www.wikidata.org/wiki/Q461671","display_name":"Data integrity","level":2,"score":0.2630000114440918},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.25380000472068787}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3786582.3786836","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3786582.3786836","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the IEEE/ACM 48th International Conference on Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3786582.3786836","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3786582.3786836","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the IEEE/ACM 48th International Conference on Software Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.45126333832740784,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W2156723666","https://openalex.org/W2157922094","https://openalex.org/W2162045655","https://openalex.org/W2627159663","https://openalex.org/W2958754741","https://openalex.org/W3043626478","https://openalex.org/W3154009503","https://openalex.org/W4312632714","https://openalex.org/W4379536072","https://openalex.org/W4386044147","https://openalex.org/W4386914064","https://openalex.org/W4387801079","https://openalex.org/W4391579639","https://openalex.org/W4393159549","https://openalex.org/W4394769550","https://openalex.org/W4400582623","https://openalex.org/W4400680980","https://openalex.org/W4401013277","https://openalex.org/W4402392501","https://openalex.org/W4407691659","https://openalex.org/W4411523093","https://openalex.org/W4412703857","https://openalex.org/W7133244791"],"related_works":[],"abstract_inverted_index":{"Fault":[0],"localization":[1],"is":[2],"essential":[3],"for":[4],"debugging.":[5],"Recently,":[6],"Large":[7],"Language":[8],"Model":[9],"(LLM)-based":[10],"techniques":[11],"have":[12],"been":[13],"proposed":[14],"to":[15,77],"identify":[16],"buggy":[17],"methods":[18,39],"from":[19],"failing":[20],"test":[21,34,48],"cases.":[22],"The":[23],"state-of-the-art":[24],"approach,":[25],"SoapFL,":[26],"adopts":[27],"a":[28,33,52,64,70,93],"structured":[29],"multi-phase":[30,57],"procedure.":[31],"Given":[32],"failure,":[35],"suspicious":[36,122],"classes":[37,116],"and":[38,109,117,119],"are":[40],"identified":[41],"based":[42],"on":[43],"its":[44],"analysis":[45,54,62],"of":[46,55,69,88,92],"the":[47,56,66,89,98],"failure.":[49],"We":[50],"conduct":[51],"funnel":[53],"approach.":[58],"While":[59],"effective,":[60],"our":[61],"highlights":[63],"limitation:":[65],"early":[67],"selection":[68],"single":[71],"hypothesis":[72],"can":[73],"cause":[74,91],"useful":[75],"alternatives":[76],"be":[78],"discarded.":[79],"Motivated":[80],"by":[81],"how":[82],"developers":[83],"consider":[84],"multiple":[85],"competing":[86,111],"hypotheses":[87],"root":[90],"bug":[94],"as":[95],"they":[96],"analyze":[97],"evidence,":[99],"we":[100],"prototype":[101],"HypoDeduce,":[102],"which":[103],"applies":[104],"abductive":[105],"reasoning.":[106],"HypoDeduce":[107],"generates":[108],"evaluates":[110],"hypotheses,":[112],"integrates":[113],"evidence":[114],"across":[115],"methods,":[118],"then":[120],"identifies":[121],"methods.":[123]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2026-07-09T00:00:00"}