{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,7]],"date-time":"2026-07-07T03:03:22Z","timestamp":1783393402342,"version":"3.54.6"},"publisher-location":"Singapore","reference-count":29,"publisher":"Springer Nature Singapore","isbn-type":[{"value":"9789819606016","type":"print"},{"value":"9789819606023","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,11,25]],"date-time":"2024-11-25T00:00:00Z","timestamp":1732492800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,11,25]],"date-time":"2024-11-25T00:00:00Z","timestamp":1732492800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-981-96-0602-3_7","type":"book-chapter","created":{"date-parts":[[2024,11,24]],"date-time":"2024-11-24T04:17:58Z","timestamp":1732421878000},"page":"122-141","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Enhancing Multi-modal Regular Expression Synthesis via\u00a0Large Language Models and\u00a0Semantic Manipulations of\u00a0Sub-expressions"],"prefix":"10.1007","author":[{"given":"Zipan","family":"Tang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yixuan","family":"Yan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rongchen","family":"Li","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hanze","family":"Dong","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Haiming","family":"Chen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hongyu","family":"Gao","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,11,25]]},"reference":[{"issue":"2","key":"7_CR1","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"75","author":"D Angluin","year":"1987","unstructured":"Angluin, D.: Learning regular sets from queries and counterexamples. Inf. Comput. 75(2), 87\u2013106 (1987)","journal-title":"Inf. Comput."},{"issue":"12","key":"7_CR2","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1109\/MC.2014.344","volume":"47","author":"A Bartoli","year":"2014","unstructured":"Bartoli, A., Davanzo, G., Lorenzo, A.D., Medvet, E., Sorio, E.: Automatic synthesis of regular expressions from examples. IEEE Comput. 47(12), 72\u201380 (2014)","journal-title":"IEEE Comput."},{"issue":"5","key":"7_CR3","doi-asserted-by":"publisher","first-page":"1217","DOI":"10.1109\/TKDE.2016.2515587","volume":"28","author":"A Bartoli","year":"2016","unstructured":"Bartoli, A., de Lorenzo, A., Medvet, E., Tarlao, F.: Inference of regular expressions for text extraction from examples. IEEE Trans. Knowl. Data Eng. 28(5), 1217\u20131230 (2016)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Chapman, C., Wang, P., Stolee, K.T.: Exploring regular expression comprehension. In: Proceedings of the 32nd IEEE\/ACM International Conference on Automated Software Engineering, ASE 2017, pp. 405\u2013416 (2017)","DOI":"10.1109\/ASE.2017.8115653"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Chen, Q., Wang, X., Ye, X., Durrett, G., Dillig, I.: Multi-modal synthesis of regular expressions. In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, pp. 487\u2013502 (2019)","DOI":"10.1145\/3385412.3385988"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Davis, J.C., Coghlan, C.A., Servant, F., Lee, D.: The impact of regular expression denial of service (ReDoS) in practice: an empirical study at the ecosystem scale. In: Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC\/FSE 2018, pp. 246\u2013256 (2018)","DOI":"10.1145\/3236024.3236027"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Davis, J.C., Michael\u00a0IV, L.G., Coghlan, C.A., Servant, F., Lee, D.: Why aren\u2019t regular expressions a lingua franca? An empirical study on the re-use and portability of regular expressions. In: Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC\/FSE 2019, pp. 443\u2013454 (2019)","DOI":"10.1145\/3338906.3338909"},{"key":"7_CR8","unstructured":"Kim, S., Cheon, H., Han, Y., Ko, S.: Neuro-symbolic regex synthesis framework via neural example splitting (2022). arXiv:2205.11258"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Kim, S., Im, H., Ko, S.: Efficient enumeration of regular expressions for faster regular expression synthesis. In: Proceedings of the 25th International Conference on Implementation and Application of Automata, CIAA 2021, pp. 65\u201376 (2021)","DOI":"10.1007\/978-3-030-79121-6_6"},{"key":"7_CR10","unstructured":"Kushman, N., Barzilay, R.: Using semantic unification to generate regular expressions from natural language. In: Proceedings of the 2013 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, NAACL 2013, pp. 826\u2013836 (2013)"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Lee, M., So, S., Oh, H.: Synthesizing regular expressions from examples for introductory automata assignments. In: Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2016, pp. 70\u201380 (2016)","DOI":"10.1145\/2993236.2993244"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Li, Y., et al.: Transregex: multi-modal regular expression synthesis by generate-and-repair. In: Proceedings of the 43rd IEEE\/ACM International Conference on Software Engineering, ICSE 2021, pp. 1210\u20131222 (2021)","DOI":"10.1109\/ICSE43902.2021.00111"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Liu, X., Jiang, Y., Wu, D.: A lightweight framework for regular expression verification. In: 19th IEEE International Symposium on High Assurance Systems Engineering, HASE 2019, pp.\u00a01\u20138 (2019)","DOI":"10.1109\/HASE.2019.00011"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Locascio, N., Narasimhan, K., DeLeon, E., Kushman, N., Barzilay, R.: Neural generation of regular expressions from natural language with minimal domain knowledge. In: Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing, EMNLP 2016, pp. 1918\u20131923 (2016)","DOI":"10.18653\/v1\/D16-1197"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Loring, B., Mitchell, D., Kinder, J.: Sound regular expression semantics for dynamic symbolic execution of Javascript. In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, pp. 425\u2013438 (2019)","DOI":"10.1145\/3314221.3314645"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Luo, B., Feng, Y., Wang, Z., Huang, S., Yan, R., Zhao, D.: Marrying up regular expressions with neural networks: a case study for spoken language understanding. In: Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics, ACL 2018, pp. 2083\u20132093 (2018)","DOI":"10.18653\/v1\/P18-1194"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Michael\u00a0IV, L.G., Donohue, J., Davis, J.C., Lee, D., Servant, F.: Regexes are hard: decision-making, difficulties, and risks in programming regular expressions. In: Proceedings of 34th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2019, pp. 415\u2013426 (2019)","DOI":"10.1109\/ASE.2019.00047"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Park, J., Ko, S., Cognetta, M., Han, Y.: Softregex: generating regex from natural language descriptions using softened regex equivalence. In: Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing, EMNLP-IJCNLP 2019, pp. 6425\u20136431 (2019)","DOI":"10.18653\/v1\/D19-1677"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Rahmani, K., et al.: Multi-modal program inference: a marriage of pre-trained language models and component-based synthesis. Proc. ACM Program. Lang. 5(OOPSLA), 1\u201329 (2021)","DOI":"10.1145\/3485535"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Shen, Y., Jiang, Y., Xu, C., Yu, P., Ma, X., Lu, J.: ReScue: crafting regular expression DoS attacks. In: Proceedings of the 33rd ACM\/IEEE International Conference on Automated Software Engineering, ASE 2018, pp. 225\u2013235 (2018)","DOI":"10.1145\/3238147.3238159"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Siddiq, M.L., Zhang, J., Roney, L., Santos, J.C.S.: Re(gex$$\\vert $$dos)eval: evaluating generated regular expressions and their proneness to dos attacks. In: Proceedings of the 2024 ACM\/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results, NIER@ICSE 2024, pp. 52\u201356 (2024)","DOI":"10.1145\/3639476.3639757"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Spishak, E., Dietl, W., Ernst, M.D.: A type system for regular expressions. In: FTfJP 2012: 14th Workshop on Formal Techniques for Java-like Programs, pp. 20\u201326 (2012)","DOI":"10.1145\/2318202.2318207"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Turonov\u00e1, L., Hol\u00edk, L., Leng\u00e1l, O., Saarikivi, O., Veanes, M., Vojnar, T.: Regex matching with counting-set automata. Proc. ACM Program. Lang. 4(OOPSLA), 1\u201330 (2020)","DOI":"10.1145\/3428286"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Ye, X., Chen, Q., Dillig, I., Durrett, G.: Benchmarking multimodal regex synthesis with complex structures. In: Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, ACL 2020, pp. 6081\u20136094 (2020)","DOI":"10.18653\/v1\/2020.acl-main.541"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Ye, X., Chen, Q., Dillig, I., Durrett, G.: Optimal neural program synthesis from multimodal specifications. In: Findings of the Association for Computational Linguistics: EMNLP 2021, pp. 1691\u20131704 (2021)","DOI":"10.18653\/v1\/2021.findings-emnlp.146"},{"key":"7_CR26","doi-asserted-by":"publisher","first-page":"679","DOI":"10.1162\/tacl_a_00339","volume":"8","author":"X Ye","year":"2020","unstructured":"Ye, X., Chen, Q., Wang, X., Dillig, I., Durrett, G.: Sketch-driven regular expression generation from natural language and examples. Trans. Assoc. Computat. Linguist. 8, 679\u2013694 (2020)","journal-title":"Trans. Assoc. Computat. Linguist."},{"key":"7_CR27","doi-asserted-by":"crossref","unstructured":"Zhang, S., Gu, X., Chen, Y., Shen, B.: Infere: step-by-step regex generation via chain of inference. In: 38th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2023, pp. 1505\u20131515 (2023)","DOI":"10.1109\/ASE56229.2023.00111"},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"Zhong, Z., et al.: Semregex: a semantics-based approach for generating regular expressions from natural language specifications. In: Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing, EMNLP 2018, pp. 1608\u20131618 (2018)","DOI":"10.18653\/v1\/D18-1189"},{"key":"7_CR29","unstructured":"Zhong, Z., et al.: Generating regular expressions from natural language specifications: Are we there yet? In: The Workshops of the Thirty-Second AAAI Conference on Artificial Intelligence, New Orleans, Louisiana, USA, February 2-7, 2018. AAAI Technical Report, vol. WS-18, pp. 791\u2013794 (2018)"}],"container-title":["Lecture Notes in Computer Science","Dependable Software Engineering. Theories, Tools, and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-96-0602-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,24]],"date-time":"2024-11-24T04:18:31Z","timestamp":1732421911000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-96-0602-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,25]]},"ISBN":["9789819606016","9789819606023"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-981-96-0602-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,11,25]]},"assertion":[{"value":"25 November 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SETTA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Dependable Software Engineering: Theories, Tools, and Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Hong Kong","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 November 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 November 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"setta2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/setta2024.cs.cityu.edu.hk\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}