{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T12:21:50Z","timestamp":1783513310269,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,4,12]],"date-time":"2026-04-12T00:00:00Z","timestamp":1775952000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,4,12]]},"DOI":"10.1145\/3786582.3786836","type":"proceedings-article","created":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T11:52:47Z","timestamp":1783511567000},"page":"186-190","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Abductive Reasoning for Neurosymbolic Fault Localization"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-8301-0758","authenticated-orcid":false,"given":"Minh Tam","family":"Le","sequence":"first","affiliation":[{"name":"University of Sydney, Sydney, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2572-2355","authenticated-orcid":false,"given":"Xi","family":"Zheng","sequence":"additional","affiliation":[{"name":"Macquarie University, Sydney, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7335-7295","authenticated-orcid":false,"given":"Hong Jin","family":"Kang","sequence":"additional","affiliation":[{"name":"University of Sydney, Sydney, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,8]]},"reference":[{"key":"e_1_3_3_1_2_2","unstructured":"2025. HypoDeduce Replication Package. https:\/\/github.com\/kanghj\/hypodeduce. HypoDeduce GitHub Repository."},{"key":"e_1_3_3_1_3_2","unstructured":"2025. Semgrep: code analysis for security correctness and style. https:\/\/semgrep.dev\/. Accessed: 2025-09-26."},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"publisher","DOI":"10.5555\/1308173.1308264"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"publisher","DOI":"10.1109\/VL\/HCC50065.2020.9127273"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/3586183.3606781"},{"key":"e_1_3_3_1_7_2","unstructured":"Viola Campos. 2024. Bug Detection and Localization using Pre-trained Code Language Models. Gesellschaft f\u00fcr Informatik e.V. 1419\u20131429. https:\/\/dl.gi.de\/handle\/20.500.12116\/45097 ISSN: 2944-7682."},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/3510457.3513081"},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"crossref","unstructured":"Quentin Delfosse Hikaru Shindo Devendra Dhami and Kristian Kersting. 2023. Interpretable and explainable logical policies via neurally guided symbolic abstraction. Advances in Neural Information Processing Systems 36 (2023) 50838\u201350858.","DOI":"10.52202\/075280-2212"},{"key":"e_1_3_3_1_10_2","unstructured":"Matthijs Douze Alexandr Guzhva Chengqi Deng Jeff Johnson Gergely Szilvasy Pierre-Emmanuel Mazar\u00e9 Maria Lomeli Lucas Hosseini and Herv\u00e9 J\u00e9gou. 2024. The faiss library. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2401.08281 (2024)."},{"key":"e_1_3_3_1_11_2","unstructured":"Huihui Huang Ratnadira Widyasari Ting Zhang Ivana\u00a0Clairine Irsan Jieke Shi Han\u00a0Wei Ang Frank Liauw Eng\u00a0Lieh Ouh Lwin\u00a0Khin Shar Hong\u00a0Jin Kang et\u00a0al. 2025. Back to the Basics: Rethinking Issue-Commit Linking with LLM-Assisted Retrieval. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2507.09199 (2025)."},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581397"},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2628055"},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"crossref","unstructured":"Sungmin Kang Gabin An and Shin Yoo. 2024. A quantitative and qualitative evaluation of LLM-based explainable fault localization. Proceedings of the ACM on Software Engineering 1 FSE (2024) 1424\u20131446.","DOI":"10.1145\/3660771"},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"publisher","DOI":"10.1145\/985692.985712"},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330574"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"publisher","DOI":"10.1145\/3643795.3648387"},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v38i9.28934"},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"crossref","unstructured":"Ziyang Li Jiani Huang and Mayur Naik. 2023. Scallop: A language for neurosymbolic programming. Proceedings of the ACM on Programming Languages 7 PLDI (2023) 1463\u20131487.","DOI":"10.1145\/3591280"},{"key":"e_1_3_3_1_20_2","doi-asserted-by":"crossref","unstructured":"Tania Lombrozo. 2012. 14 Explanation and Abductive Inference. The Oxford handbook of thinking and reasoning (2012) 260.","DOI":"10.1093\/oxfordhb\/9780199734689.013.0014"},{"key":"e_1_3_3_1_21_2","doi-asserted-by":"crossref","unstructured":"Zhen Lu Imran Afridi Hong\u00a0Jin Kang Ivan Ruchkin and Xi Zheng. 2024. Surveying neuro-symbolic approaches for reliable artificial intelligence of things. Journal of Reliable Intelligent Environments 10 3 (2024) 257\u2013279.","DOI":"10.1007\/s40860-024-00231-1"},{"key":"e_1_3_3_1_22_2","doi-asserted-by":"crossref","unstructured":"Robin Manhaeve Sebastijan Duman\u010di\u0107 Angelika Kimmig Thomas Demeester and Luc De\u00a0Raedt. 2021. Neural probabilistic logic programming in DeepProbLog. Artificial Intelligence 298 (2021) 103504.","DOI":"10.1016\/j.artint.2021.103504"},{"key":"e_1_3_3_1_23_2","unstructured":"Iman Mirzadeh Keivan Alizadeh Hooman Shahrokhi Oncel Tuzel Samy Bengio and Mehrdad Farajtabar. 2024. Gsm-symbolic: Understanding the limitations of mathematical reasoning in large language models. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2410.05229 (2024)."},{"key":"e_1_3_3_1_24_2","unstructured":"Emilio Parisotto Abdel-rahman Mohamed Rishabh Singh Lihong Li Dengyong Zhou and Pushmeet Kohli. 2016. Neuro-symbolic program synthesis. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/1611.01855 (2016)."},{"key":"e_1_3_3_1_25_2","doi-asserted-by":"publisher","unstructured":"Yihao Qin Shangwen Wang Yiling Lou Jinhao Dong Kaixin Wang Xiaoling Li and Xiaoguang Mao. 2025. SoapFL: A Standard Operating Procedure for LLM-Based Method-Level Fault Localization. IEEE Transactions on Software Engineering 51 4 (2025) 1173\u20131187. 10.1109\/TSE.2025.3543187","DOI":"10.1109\/TSE.2025.3543187"},{"key":"e_1_3_3_1_26_2","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639170"},{"key":"e_1_3_3_1_27_2","unstructured":"Haifeng Ruan Yuntong Zhang and Abhik Roychoudhury. 2024. Specrover: Code intent extraction via llms. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2408.02232 (2024)."},{"key":"e_1_3_3_1_28_2","doi-asserted-by":"publisher","DOI":"10.1145\/3611643.3613860"},{"key":"e_1_3_3_1_29_2","doi-asserted-by":"publisher","DOI":"10.1109\/SANER60148.2024.00064"},{"key":"e_1_3_3_1_30_2","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3623342"},{"key":"e_1_3_3_1_31_2","doi-asserted-by":"crossref","unstructured":"He Ye Aidan\u00a0ZH Yang Chang Hu Yanlin Wang Tao Zhang and Claire Le\u00a0Goues. 2025. AdverIntent-Agent: Adversarial Reasoning for Repair Based on Inferred Program Intent. Proceedings of the ACM on Software Engineering 2 ISSTA (2025) 1398\u20131420.","DOI":"10.1145\/3728939"},{"key":"e_1_3_3_1_32_2","doi-asserted-by":"publisher","unstructured":"Zhuo Zhang Ya Li Sha Yang Zhanjun Zhang and Yan Lei. 2024. Code-aware fault localization with pre-training and interpretable machine learning. 238 (2024) 121689. 10.1016\/j.eswa.2023.121689","DOI":"10.1016\/j.eswa.2023.121689"},{"key":"e_1_3_3_1_33_2","doi-asserted-by":"crossref","unstructured":"Xi Zheng Ziyang Li Ivan Ruchkin Ruzica Piskac and Miroslav Pajic. 2025. Neurostrata: Harnessing neurosymbolic paradigms for improved design testability and verifiability of autonomous cps. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2502.12267 (2025).","DOI":"10.1145\/3696630.3728500"},{"key":"e_1_3_3_1_34_2","volume-title":"Forty-second International Conference on Machine Learning","author":"Zhou Yang","year":"2025","unstructured":"Yang Zhou, Hongyi Liu, Zhuoming Chen, Yuandong Tian, and Beidi Chen. 2025. GSM-\u221e : How Do Your LLMs Behave over Infinitely Increasing Reasoning Complexity and Context Length?. In Forty-second International Conference on Machine Learning."}],"event":{"name":"ICSE-NIER '26: 2026 IEEE\/ACM 48th International Conference on Software Engineering","location":"Rio de Janeiro Brazil","acronym":"ICSE-NIER '26","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the IEEE\/ACM 48th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3786582.3786836","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T11:52:59Z","timestamp":1783511579000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3786582.3786836"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,12]]},"references-count":33,"alternative-id":["10.1145\/3786582.3786836","10.1145\/3786582"],"URL":"https:\/\/doi.org\/10.1145\/3786582.3786836","relation":{},"subject":[],"published":{"date-parts":[[2026,4,12]]},"assertion":[{"value":"2026-07-08","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}