{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T03:14:48Z","timestamp":1767928488170,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,10,27]],"date-time":"2024-10-27T00:00:00Z","timestamp":1729987200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["JP23K24826"],"award-info":[{"award-number":["JP23K24826"]}],"id":[{"id":"10.13039\/501100001691","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["JP20K20625"],"award-info":[{"award-number":["JP20K20625"]}],"id":[{"id":"10.13039\/501100001691","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["JP23K20380"],"award-info":[{"award-number":["JP23K20380"]}],"id":[{"id":"10.13039\/501100001691","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,10,27]]},"DOI":"10.1145\/3691620.3695005","type":"proceedings-article","created":{"date-parts":[[2024,10,18]],"date-time":"2024-10-18T15:39:19Z","timestamp":1729265959000},"page":"294-305","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Repairing Regex-Dependent String Functions"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9542-9234","authenticated-orcid":false,"given":"Nariyoshi","family":"Chida","sequence":"first","affiliation":[{"name":"NTT Social Informatics Laboratories, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5305-4916","authenticated-orcid":false,"given":"Tachio","family":"Terauchi","sequence":"additional","affiliation":[{"name":"Waseda University, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,10,27]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(78)90683-6"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2014.344"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2576768.2598333"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2016.2515587"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2022.10.041"},{"key":"e_1_3_2_1_6_1","volume-title":"Transducers with Origin Information","author":"Boja\u0144czyk Miko\u0142aj","unstructured":"Miko\u0142aj Boja\u0144czyk. 2014. Transducers with Origin Information. In Automata, Languages, and Programming, Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, and Elias Koutsoupias (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 26--37."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/168304.168340"},{"key":"e_1_3_2_1_8_1","volume-title":"Learning of regular expressions by pattern matching","author":"Br\u0101zma Alvis","unstructured":"Alvis Br\u0101zma. 1995. Learning of regular expressions by pattern matching. In Computational Learning Theory, Paul Vit\u00e1nyi (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 392--403."},{"key":"e_1_3_2_1_9_1","volume-title":"Efficient learning of regular expressions from good examples","author":"Br\u0101zma Alvis","unstructured":"Alvis Br\u0101zma and K\u0101rlis \u010cer\u0101ns. 1994. Efficient learning of regular expressions from good examples. In Algorithmic Learning Theory, Setsuo Arikawa and Klaus P. Jantke (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 76--90."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037562"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931073"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385988"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158091"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3498707"},{"key":"e_1_3_2_1_15_1","volume-title":"Philipp R\u00fcmmer, and Zhilin Wu.","author":"Chen Taolue","year":"2020","unstructured":"Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp R\u00fcmmer, and Zhilin Wu. 2020. A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. In Automated Technology for Verification and Analysis, Dang Van Hung and Oleg Sokolsky (Eds.). Springer International Publishing, Cham, 325--342."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290362"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833597"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3591287"},{"key":"e_1_3_2_1_19_1","volume-title":"Denial of Service through Regular Expressions","author":"Crosby Scott","unstructured":"Scott Crosby. 2003. Denial of Service through Regular Expressions. USENIX Association, Washington, D.C."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338909"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_22_1","unstructured":"ECMA International. 2022. ECMAScript\u00ae 2023 Language Specification. https:\/\/tc39.es\/ecma262\/multipage\/#sec-intro."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3416576"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2008.12.008"},{"key":"e_1_3_2_1_25_1","volume-title":"FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions. In Tools and Algorithms for the Construction and Analysis of Systems","author":"Ferreira Margarida","year":"2021","unstructured":"Margarida Ferreira, Miguel Terra-Neves, Miguel Ventura, In\u00eas Lynce, and Ruben Martins. 2021. FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions. In Tools and Algorithms for the Construction and Analysis of Systems, Jan Friso Groote and Kim Guldstrand Larsen (Eds.). Springer International Publishing, Cham, 152--169."},{"key":"e_1_3_2_1_26_1","volume-title":"Mastering Regular Expressions","author":"Friedl Jeffrey","unstructured":"Jeffrey Friedl. 2006. Mastering Regular Expressions. O'Reilly Media, Inc."},{"key":"e_1_3_2_1_27_1","volume-title":"Grammatical Inference: Theoretical Results and Applications, Jos\u00e9 M","author":"Kinber Efim","unstructured":"Efim Kinber. 2010. Learning Regular Expressions from Representative Examples and Membership Queries. In Grammatical Inference: Theoretical Results and Applications, Jos\u00e9 M. Sempere and Pedro Garc\u00eda (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 94--108."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3093335.2993244"},{"key":"e_1_3_2_1_29_1","volume-title":"Proceedings of the 2008 Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics","author":"Li Yunyao","unstructured":"Yunyao Li, Rajasekar Krishnamurthy, Sriram Raghavan, Shivakumar Vaithyanathan, and H. V. Jagadish. 2008. Regular Expression Learning for Information Extraction. In Proceedings of the 2008 Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics, Honolulu, Hawaii, 21--30. https:\/\/aclanthology.org\/D08-1003"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00111"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3355369.3355589"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00047"},{"key":"e_1_3_2_1_33_1","volume-title":"https:\/\/github.com\/validatorjs\/validator.js\/ [Online","author":"O'Hara Chris","year":"2024","unstructured":"Chris O'Hara. 2024. Validator.js. https:\/\/github.com\/validatorjs\/validator.js\/ [Online; accessed 1-June-2024]."},{"key":"e_1_3_2_1_34_1","volume-title":"Input Validation Cheat Sheet. https:\/\/cheatsheetseries.owasp.org\/cheatsheets\/Input_Validation_Cheat_Sheet.html [Online","author":"OWASP.","year":"2024","unstructured":"OWASP. 2024. Input Validation Cheat Sheet. https:\/\/cheatsheetseries.owasp.org\/cheatsheets\/Input_Validation_Cheat_Sheet.html [Online; accessed 1-June-2024]."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360565"},{"key":"e_1_3_2_1_36_1","unstructured":"R2-DS. 2024. https:\/\/github.com\/NariyoshiChida\/ASE2024\/."},{"key":"e_1_3_2_1_37_1","volume-title":"Suchanek","author":"Rebele Thomas","year":"2018","unstructured":"Thomas Rebele, Katerina Tzompanaki, and Fabian M. Suchanek. 2018. Adding Missing Words to Regular Expressions. In Advances in Knowledge Discovery and Data Mining, Dinh Phung, Vincent S. Tseng, Geoffrey I. Webb, Bao Ho, Mohadeseh Ganji, and Lida Rashidi (Eds.). Springer International Publishing, Cham, 67--79."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"crossref","unstructured":"No\u00e9 De Santo Aur\u00e8le Barri\u00e8re and Cl\u00e9ment Pit-Claudel. 2024. A Coq Mechanization of JavaScript Regular Expression Semantics. arXiv:2403.11919 [cs.PL]","DOI":"10.1145\/3674666"},{"key":"e_1_3_2_1_39_1","volume-title":"Javascript replace() and $1 issue. https:\/\/stackoverflow.com\/questions\/13368906\/javascript-replace-and-1-issue?rq=3 [Online","year":"2024","unstructured":"StackOverflow. 2012. Javascript replace() and $1 issue. https:\/\/stackoverflow.com\/questions\/13368906\/javascript-replace-and-1-issue?rq=3 [Online; accessed 1-June-2024]."},{"key":"e_1_3_2_1_40_1","volume-title":"replace in java with a regex doesn't replace from left to right. https:\/\/stackoverflow.com\/questions\/18901525\/replace-in-java-with-a-regex-doesnt-replace-from-left-to-right [Online","year":"2024","unstructured":"StackOverflow. 2013. replace in java with a regex doesn't replace from left to right. https:\/\/stackoverflow.com\/questions\/18901525\/replace-in-java-with-a-regex-doesnt-replace-from-left-to-right [Online; accessed 1-June-2024]."},{"key":"e_1_3_2_1_41_1","volume-title":"Java regex not replacing my pattern. https:\/\/stackoverflow.com\/questions\/42778804\/java-regex-not-replacing-my-pattern\/42778862 [Online","year":"2024","unstructured":"StackOverflow. 2017. Java regex not replacing my pattern. https:\/\/stackoverflow.com\/questions\/42778804\/java-regex-not-replacing-my-pattern\/42778862 [Online; accessed 1-June-2024]."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3591274"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3379597.3387464"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-021-10033-1"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3379337.3415900"}],"event":{"name":"ASE '24: 39th IEEE\/ACM International Conference on Automated Software Engineering","location":"Sacramento CA USA","acronym":"ASE '24","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the 39th IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3691620.3695005","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3691620.3695005","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:04:06Z","timestamp":1750291446000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3691620.3695005"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,27]]},"references-count":45,"alternative-id":["10.1145\/3691620.3695005","10.1145\/3691620"],"URL":"https:\/\/doi.org\/10.1145\/3691620.3695005","relation":{},"subject":[],"published":{"date-parts":[[2024,10,27]]},"assertion":[{"value":"2024-10-27","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}