{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T23:51:05Z","timestamp":1769730665610,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,7,18]],"date-time":"2022-07-18T00:00:00Z","timestamp":1658102400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,7,18]]},"DOI":"10.1145\/3533767.3534406","type":"proceedings-article","created":{"date-parts":[[2022,7,15]],"date-time":"2022-07-15T14:28:50Z","timestamp":1657895330000},"page":"215-226","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Human-in-the-loop oracle learning for semantic bugs in string processing programs"],"prefix":"10.1145","author":[{"given":"Charaka Geethal","family":"Kapugama","sequence":"first","affiliation":[{"name":"Monash University, Australia"}]},{"given":"Van-Thuan","family":"Pham","sequence":"additional","affiliation":[{"name":"University of Melbourne, Australia"}]},{"given":"Aldeida","family":"Aleti","sequence":"additional","affiliation":[{"name":"Monash University, Australia"}]},{"given":"Marcel","family":"B\u00f6hme","sequence":"additional","affiliation":[{"name":"MPI-SP, Germany \/ Monash University, Australia"}]}],"member":"320","published-online":{"date-parts":[[2022,7,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3484198"},{"key":"e_1_3_2_1_2_1","unstructured":"Gabin An and Shin Yoo. 2021. Human-in-the-Loop Fault Localisation Using Efficient Test Prioritisation of Generated Tests. arXiv preprint arXiv:2104.06641 https:\/\/doi.org\/10.48550\/ARXIV.2104.06641 \t\t\t\t\t  Gabin An and Shin Yoo. 2021. Human-in-the-Loop Fault Localisation Using Efficient Test Prioritisation of Generated Tests. arXiv preprint arXiv:2104.06641 https:\/\/doi.org\/10.48550\/ARXIV.2104.06641"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2372785"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8_11"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST46399.2020.00036"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2018.02.002"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139194655"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3418461"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(78)90562-4"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3397349"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572286"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2018\/323"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1201\/9781482285840"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2454513"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.104"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1181309.1181314"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3135932.3135941"},{"key":"e_1_3_2_1_19_1","volume-title":"An Introduction to Formal Language and Automata","author":"Linz Peter","unstructured":"Peter Linz . 2006. An Introduction to Formal Language and Automata . Jones and Bartlett Publishers, Inc. , USA. isbn:0763737984 Peter Linz. 2006. An Introduction to Formal Language and Automata. Jones and Bartlett Publishers, Inc., USA. isbn:0763737984"},{"key":"e_1_3_2_1_20_1","unstructured":"Rushi Longadge and Snehalata Dongre. 2013. Class imbalance problem in data mining review. arXiv preprint arXiv:1305.1707 https:\/\/doi.org\/10.48550\/arXiv.1305.1707 \t\t\t\t\t  Rushi Longadge and Snehalata Dongre. 2013. Class imbalance problem in data mining review. arXiv preprint arXiv:1305.1707 https:\/\/doi.org\/10.48550\/arXiv.1305.1707"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884807"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45257-7_15"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606623"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1177\/0170840609349875"},{"key":"e_1_3_2_1_25_1","volume-title":"Trust Enhancement Issues in Program Repair. In International Conference on Software Engineering. 11","author":"Noller Yannic","year":"2021","unstructured":"Yannic Noller , Ridwan Shariffdeen , Xiang Gao , and Abhik Roychoudhury . 2021 . Trust Enhancement Issues in Program Repair. In International Conference on Software Engineering. 11 . https:\/\/doi.org\/10.48550\/arXiv.2108.13064 Yannic Noller, Ridwan Shariffdeen, Xiang Gao, and Abhik Roychoudhury. 2021. Trust Enhancement Issues in Program Repair. In International Conference on Software Engineering. 11. https:\/\/doi.org\/10.48550\/arXiv.2108.13064"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2941681"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCIS.2013.490"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454051"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-C.2017.76"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660372"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428260"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00080"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.988498"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491456"}],"event":{"name":"ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis","location":"Virtual South Korea","acronym":"ISSTA '22","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3533767.3534406","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3533767.3534406","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T18:43:41Z","timestamp":1750272221000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3533767.3534406"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,18]]},"references-count":34,"alternative-id":["10.1145\/3533767.3534406","10.1145\/3533767"],"URL":"https:\/\/doi.org\/10.1145\/3533767.3534406","relation":{},"subject":[],"published":{"date-parts":[[2022,7,18]]},"assertion":[{"value":"2022-07-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}