{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:12:11Z","timestamp":1750219931154,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,7,12]],"date-time":"2023-07-12T00:00:00Z","timestamp":1689120000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,7,12]]},"DOI":"10.1145\/3597926.3598103","type":"proceedings-article","created":{"date-parts":[[2023,7,13]],"date-time":"2023-07-13T20:12:53Z","timestamp":1689279173000},"page":"880-891","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A Bayesian Framework for Automated Debugging"],"prefix":"10.1145","author":[{"given":"Sungmin","family":"Kang","sequence":"first","affiliation":[{"name":"KAIST, South Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wonkeun","family":"Choi","sequence":"additional","affiliation":[{"name":"KAIST, South Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shin","family":"Yoo","sequence":"additional","affiliation":[{"name":"KAIST, South Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,7,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1696"},{"key":"e_1_3_2_1_2_1","volume-title":"van Gemund","author":"Abreu Rui","year":"2009","unstructured":"Rui Abreu and Arjan J. C . van Gemund . 2009 . A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application to Model-Based Diagnosis. In SARA. Rui Abreu and Arjan J. C. van Gemund. 2009. A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application to Model-Based Diagnosis. In SARA."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.25"},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the 44th IEEE\/ACM International Conference on Software Engineering - Software Engineering In Practice Track (ICSE SEIP 2022). 65\u201374","author":"An Gabin","year":"2022","unstructured":"Gabin An , Juyeon Yoon , Jeongju Sohn , Jingun Hong , Dongwon Hwang , and Shin Yoo . 2022 . Automatically Identifying Shared Root Causes of Test Breakages in SAP HANA . In Proceedings of the 44th IEEE\/ACM International Conference on Software Engineering - Software Engineering In Practice Track (ICSE SEIP 2022). 65\u201374 . Gabin An, Juyeon Yoon, Jeongju Sohn, Jingun Hong, Dongwon Hwang, and Shin Yoo. 2022. Automatically Identifying Shared Root Causes of Test Breakages in SAP HANA. In Proceedings of the 44th IEEE\/ACM International Conference on Software Engineering - Software Engineering In Practice Track (ICSE SEIP 2022). 65\u201374."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510117"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227170"},{"key":"e_1_3_2_1_7_1","volume-title":"SequenceR: Sequence-to-Sequence Learning for End-to-End Program Repair. ArXiv, abs\/1901.01808","author":"Chen Zimin","year":"2019","unstructured":"Zimin Chen , Steve Kommrusch , Michele Tufano , L. Pouchet , D. Poshyvanyk , and Monperrus Martin . 2019. SequenceR: Sequence-to-Sequence Learning for End-to-End Program Repair. ArXiv, abs\/1901.01808 ( 2019 ). Zimin Chen, Steve Kommrusch, Michele Tufano, L. Pouchet, D. Poshyvanyk, and Monperrus Martin. 2019. SequenceR: Sequence-to-Sequence Learning for End-to-End Program Repair. ArXiv, abs\/1901.01808 (2019)."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2896921.2896931"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2016.10.002"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581397"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486893"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2021.3071086"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931051"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-019-09780-z"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.104"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2021.3072577"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330574"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2019.00020"},{"key":"e_1_3_2_1_19_1","volume-title":"2020 IEEE\/ACM 42nd International Conference on Software Engineering (ICSE), 615\u2013627","author":"Liu Kui","year":"2020","unstructured":"Kui Liu , Shangwen Wang , Anil Koyuncu , Kisub Kim , Tegawend\u00e9 F. Bissyand\u00e9 , Dongsun Kim , Peng Wu , Jacques Klein , Xiaoguang Mao , and Yves Le Traon . 2020 . On the Efficiency of Test Suite based Program Repair A Systematic Assessment of 16 Automated Repair Systems for Java Programs . 2020 IEEE\/ACM 42nd International Conference on Software Engineering (ICSE), 615\u2013627 . Kui Liu, Shangwen Wang, Anil Koyuncu, Kisub Kim, Tegawend\u00e9 F. Bissyand\u00e9, Dongsun Kim, Peng Wu, Jacques Klein, Xiaoguang Mao, and Yves Le Traon. 2020. On the Efficiency of Test Suite based Program Repair A Systematic Assessment of 16 Automated Repair Systems for Java Programs. 2020 IEEE\/ACM 42nd International Conference on Software Engineering (ICSE), 615\u2013627."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837617"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3397351"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3397351"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-SEIP.2019.00039"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.63"},{"volume-title":"2016 IEEE\/ACM 38th International Conference on Software Engineering (ICSE). 691\u2013701","author":"Mechtaev S.","key":"e_1_3_2_1_25_1","unstructured":"S. Mechtaev , J. Yi , and A. Roychoudhury . 2016. Angelix: Scalable Multiline Program Patch Synthesis via Symbolic Analysis . In 2016 IEEE\/ACM 38th International Conference on Software Engineering (ICSE). 691\u2013701 . S. Mechtaev, J. Yi, and A. Roychoudhury. 2016. Angelix: Scalable Multiline Program Patch Synthesis via Symbolic Analysis. In 2016 IEEE\/ACM 38th International Conference on Software Engineering (ICSE). 691\u2013701."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2014.28"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.2331\/suisan.22.526"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-008-9077-5"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001445"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115675"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092717"},{"key":"e_1_3_2_1_32_1","volume-title":"Proceedings of the 37th IEEE\/ACM International Conference on Automated Software Engineering (ASE \u201922)","author":"Song Yi","year":"2023","unstructured":"Yi Song , Xiaoyuan Xie , Xihao Zhang , Quanming Liu , and Ruizhi Gao . 2023 . Evolving Ranking-Based Failure Proximities for Better Clustering in Fault Isolation . In Proceedings of the 37th IEEE\/ACM International Conference on Automated Software Engineering (ASE \u201922) . Association for Computing Machinery, New York, NY, USA. Article 41, 13 pages. isbn:9781450394758 Yi Song, Xiaoyuan Xie, Xihao Zhang, Quanming Liu, and Ruizhi Gao. 2023. Evolving Ranking-Based Failure Proximities for Better Clustering in Fault Isolation. In Proceedings of the 37th IEEE\/ACM International Conference on Automated Software Engineering (ASE \u201922). Association for Computing Machinery, New York, NY, USA. Article 41, 13 pages. isbn:9781450394758"},{"key":"e_1_3_2_1_33_1","unstructured":"Gregory Tassey. 2002. The Economic Impacts of Inadequate Infrastructure for Software Testing. 05. \t\t\t\t  Gregory Tassey. 2002. The Economic Impacts of Inadequate Infrastructure for Software Testing. 05."},{"key":"e_1_3_2_1_34_1","unstructured":"Chris Thunes. 2022. javalang: Pure Python Java parser and tools. https:\/\/github.com\/c2nes\/javalang \t\t\t\t  Chris Thunes. 2022. javalang: Pure Python Java parser and tools. https:\/\/github.com\/c2nes\/javalang"},{"volume-title":"2013 28th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 356\u2013366","author":"Weimer W.","key":"e_1_3_2_1_35_1","unstructured":"W. Weimer , Z. P. Fry , and S. Forrest . 2013. Leveraging program equivalence for adaptive program repair: Models and first results . In 2013 28th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 356\u2013366 . W. Weimer, Z. P. Fry, and S. Forrest. 2013. Leveraging program equivalence for adaptive program repair: Models and first results. In 2013 28th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 356\u2013366."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2948158"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2007.109"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2522920.2522924"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00063"},{"key":"#cr-split#-e_1_3_2_1_40_1.1","doi-asserted-by":"crossref","unstructured":"He Ye Matias Martinez Xiapu Luo Tao Zhang and Martin Monperrus. 2022. SelfAPR: Self-supervised Program Repair with Test Execution Diagnostics. https:\/\/doi.org\/10.48550\/ARXIV.2203.12755 10.48550\/ARXIV.2203.12755","DOI":"10.1145\/3551349.3556926"},{"key":"#cr-split#-e_1_3_2_1_40_1.2","doi-asserted-by":"crossref","unstructured":"He Ye Matias Martinez Xiapu Luo Tao Zhang and Martin Monperrus. 2022. SelfAPR: Self-supervised Program Repair with Test Execution Diagnostics. https:\/\/doi.org\/10.48550\/ARXIV.2203.12755","DOI":"10.1145\/3551349.3556926"},{"key":"e_1_3_2_1_41_1","volume-title":"Tsong Yueh Chen, and Mark Harman","author":"Yoo Shin","year":"2014","unstructured":"Shin Yoo , Xiaoyuan Xie , Fei-Ching Kuo , Tsong Yueh Chen, and Mark Harman . 2014 . No Pot of Gold at the End of Program Spectrum Rainbow: Greatest Risk Evaluation Formula Does Not Exist. University College London . Shin Yoo, Xiaoyuan Xie, Fei-Ching Kuo, Tsong Yueh Chen, and Mark Harman. 2014. No Pot of Gold at the End of Program Spectrum Rainbow: Greatest Risk Evaluation Formula Does Not Exist. University College London."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3078840"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510073"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3468544"}],"event":{"name":"ISSTA '23: 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"],"location":"Seattle WA USA","acronym":"ISSTA '23"},"container-title":["Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597926.3598103","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597926.3598103","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:48:42Z","timestamp":1750182522000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597926.3598103"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,12]]},"references-count":45,"alternative-id":["10.1145\/3597926.3598103","10.1145\/3597926"],"URL":"https:\/\/doi.org\/10.1145\/3597926.3598103","relation":{},"subject":[],"published":{"date-parts":[[2023,7,12]]},"assertion":[{"value":"2023-07-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}