{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:59:26Z","timestamp":1750309166373,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,14]],"date-time":"2024-04-14T00:00:00Z","timestamp":1713052800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62276284","61976232","51978675"],"award-info":[{"award-number":["62276284","61976232","51978675"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Guangdong Basic and Applied Basic Research Foundation","award":["2023A1515011470","2022A1515011355"],"award-info":[{"award-number":["2023A1515011470","2022A1515011355"]}]},{"name":"Guangzhou Science and Technology Project","award":["202201011699"],"award-info":[{"award-number":["202201011699"]}]},{"name":"Guizhou Provincial Science and Technology Projects","award":["2022-259"],"award-info":[{"award-number":["2022-259"]}]},{"name":"Humanities and Social Science Research Project of Ministry of Education","award":["18YJCZH006"],"award-info":[{"award-number":["18YJCZH006"]}]},{"name":"Fundamental Research Funds for the Central Universities, Sun Yat-sen University","award":["23ptpy31"],"award-info":[{"award-number":["23ptpy31"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,4,14]]},"DOI":"10.1145\/3639476.3639779","type":"proceedings-article","created":{"date-parts":[[2024,5,24]],"date-time":"2024-05-24T15:15:01Z","timestamp":1716563701000},"page":"11-15","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["ITG: Trace Generation via Iterative Interaction between LLM Query and Trace Checking"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3733-9361","authenticated-orcid":false,"given":"Weilin","family":"Luo","sequence":"first","affiliation":[{"name":"School of Computer Science and Engineering, Sun Yat-sen University, SUN YAT-SEN UNIVERSITY, Guangzhou, GuangDong, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-6149-297X","authenticated-orcid":false,"given":"Weiyuan","family":"Fang","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, Sun Yat-sen University, SUN YAT-SEN UNIVERSITY, Guangzhou, GuangDong, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8315-9337","authenticated-orcid":false,"given":"Junming","family":"Qiu","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, Sun Yat-sen University, SUN YAT-SEN UNIVERSITY, Guangzhou, GuangDong, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5357-9130","authenticated-orcid":false,"given":"Hai","family":"Wan","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, Sun Yat-sen University, SUN YAT-SEN UNIVERSITY, Guangzhou, GuangDong, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7357-1793","authenticated-orcid":false,"given":"Yanan","family":"Liu","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, Sun Yat-sen University, SUN YAT-SEN UNIVERSITY, Guangzhou, GuangDong, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8833-714X","authenticated-orcid":false,"given":"Rongzhen","family":"Ye","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, Sun Yat-sen University, SUN YAT-SEN UNIVERSITY, Guangzhou, GuangDong, China"}]}],"member":"320","published-online":{"date-parts":[[2024,5,24]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Mat\u00edas Brizzio Maxime Cordy Mike Papadakis C\u00e9sar S\u00e1nchez Nazareno Aguirre and Renzo Degiovanni. 2023. Automated Repair of Unrealisable LTL Specifications Guided by Model Counting. In GECCO. 1499--1507.","DOI":"10.1145\/3583131.3590454"},{"key":"e_1_3_2_1_2_1","first-page":"3","article-title":"ACoRe: Automated Goal-Conflict Resolution","volume":"13991","author":"Carvalho Luiz","year":"2023","unstructured":"Luiz Carvalho, Renzo Degiovanni, Mat\u00edas Brizzio, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, and Mike Papadakis. 2023. ACoRe: Automated Goal-Conflict Resolution. In FASE, Vol. 13991. 3--25.","journal-title":"FASE"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Roberto Cavada Alessandro Cimatti Michele Dorigatti Alberto Griggio Alessandro Mariotti Andrea Micheli Sergio Mover Marco Roveri and Stefano Tonetta. 2014. The nuXmv symbolic model checker. In CAV. 334--342.","DOI":"10.1007\/978-3-319-08867-9_22"},{"key":"e_1_3_2_1_4_1","first-page":"383","article-title":"nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models","volume":"13965","author":"Cosler Matthias","year":"2023","unstructured":"Matthias Cosler, Christopher Hahn, Daniel Mendoza, Frederik Schmitt, and Caroline Trippel. 2023. nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models. In CAV, Vol. 13965. 383--396.","journal-title":"CAV"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Renzo Degiovanni Facundo Molina Germ\u00e1n Regis and Nazareno Aguirre. 2018. A genetic algorithm for goal-conflict identification. In ASE. 520--531.","DOI":"10.1145\/3238147.3238220"},{"key":"e_1_3_2_1_6_1","volume-title":"Self-collaboration Code Generation via ChatGPT. CoRR abs\/2304.07590","author":"Dong Yihong","year":"2023","unstructured":"Yihong Dong, Xue Jiang, Zhi Jin, and Ge Li. 2023. Self-collaboration Code Generation via ChatGPT. CoRR abs\/2304.07590 (2023)."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"Alexandre Duret-Lutz Alexandre Lewkowicz Amaury Fauchille Thibaud Michaud Etienne Renault and Laurent Xu. 2016. Spot 2.0 - A Framework for LTL and \u03c9-Automata Manipulation. In ATVA. 122--129.","DOI":"10.1007\/978-3-319-46520-3_8"},{"key":"e_1_3_2_1_8_1","unstructured":"Daniel Fried Armen Aghajanyan Jessy Lin Sida Wang Eric Wallace Freda Shi Ruiqi Zhong Scott Yih Luke Zettlemoyer and Mike Lewis. 2023. InCoder: A Generative Model for Code Infilling and Synthesis. In ICLR."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Francesco Fuggitti and Tathagata Chakraborti. 2023. NL2LTL - a Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas. In AAAI. 16428--16430.","DOI":"10.1609\/aaai.v37i13.27068"},{"key":"e_1_3_2_1_10_1","volume-title":"Markus Norman Rabe, and Bernd Finkbeiner","author":"Hahn Christopher","year":"2021","unstructured":"Christopher Hahn, Frederik Schmitt, Jens U. Kreber, Markus Norman Rabe, and Bernd Finkbeiner. 2021. Teaching Temporal Logics to Neural Networks. In ICLR."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exy013"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-017-0442-2"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-018-00326-5"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Weilin Luo Hai Wan Jianfeng Du Xiaoda Li Yuze Fu Rongzhen Ye and Delong Zhang. 2022. Teaching LTLf Satisfiability Checking to Neural Networks. In IJCAI. 3292--3298.","DOI":"10.24963\/ijcai.2022\/457"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Weilin Luo Hai Wan Xiaotong Song Binhao Yang Hongzhen Zhong and Yin Chen. 2021. How to Identify Boundary Conditions with Contrasty Metric?. In ICSE. 1473--1484.","DOI":"10.1109\/ICSE43902.2021.00132"},{"key":"e_1_3_2_1_16_1","first-page":"1","article-title":"Checking LTL Satisfiability via End-to-end Learning","volume":"21","author":"Luo Weilin","year":"2022","unstructured":"Weilin Luo, Hai Wan, Delong Zhang, Jianfeng Du, and Hengdi Su. 2022. Checking LTL Satisfiability via End-to-end Learning. In ASE. 21:1--21:13.","journal-title":"ASE."},{"key":"e_1_3_2_1_17_1","first-page":"248","article-title":"Model Checking a Path","volume":"2761","author":"Markey Nicolas","year":"2003","unstructured":"Nicolas Markey and Philippe Schnoebelen. 2003. Model Checking a Path. In CONCUR, Vol. 2761. 248--262.","journal-title":"CONCUR"},{"key":"e_1_3_2_1_18_1","unstructured":"OpenAI. 2023. ChatGPT. https:\/\/openai.com\/blog\/chatgpt\/"},{"key":"e_1_3_2_1_20_1","unstructured":"Long Ouyang Jeffrey Wu Xu Jiang Diogo Almeida Carroll L. Wainwright Pamela Mishkin Chong Zhang Sandhini Agarwal Katarina Slama Alex Ray John Schulman Jacob Hilton Fraser Kelton Luke Miller Maddie Simens Amanda Askell Peter Welinder Paul F. Christiano Jan Leike and Ryan Lowe. 2022. Training language models to follow instructions with human feedback. In NeurIPS."},{"key":"e_1_3_2_1_21_1","unstructured":"Abulhair Saparov and He He. 2023. Language Models Are Greedy Reasoners: A Systematic Formal Analysis of Chain-of-Thought. In ICLR."},{"key":"e_1_3_2_1_22_1","volume-title":"Julien Launay, and Iz Beltagy.","author":"Scao Teven Le","year":"2022","unstructured":"Teven Le Scao, Thomas Wang, Daniel Hesslow, Stas Bekman, M. Saiful Bari, Stella Biderman, Hady Elsahar, Niklas Muennighoff, Jason Phang, Ofir Press, Colin Raffel, Victor Sanh, Sheng Shen, Lintang Sutawika, Jaesung Tae, Zheng Xin Yong, Julien Launay, and Iz Beltagy. 2022. What Language Model to Train if You Have One Million GPU Hours?. In EMNLP. 765--782."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3828.3837"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.14778\/3551793.3551841"},{"key":"e_1_3_2_1_25_1","volume-title":"Quoc V. Le, and Denny Zhou.","author":"Wei Jason","year":"2022","unstructured":"Jason Wei, Xuezhi Wang, Dale Schuurmans, Maarten Bosma, Brian Ichter, Fei Xia, Ed H. Chi, Quoc V. Le, and Denny Zhou. 2022. Chain-of-Thought Prompting Elicits Reasoning in Large Language Models. In NeurIPS."},{"key":"e_1_3_2_1_26_1","volume-title":"Chandan Gupta, Aman Chadha, Aishwarya Naresh Reganti, Amit P. Sheth, and Amitava Das.","author":"Wijesiriwardene Thilini","year":"2023","unstructured":"Thilini Wijesiriwardene, Ruwan Wickramarachchi, Bimal G. Gajera, Shreeyash Mukul Gowaikar, Chandan Gupta, Aman Chadha, Aishwarya Naresh Reganti, Amit P. Sheth, and Amitava Das. 2023. ANALOGICAL - A Novel Benchmark for Long Text Analogy Evaluation in Large Language Models. In ACL. 3534--3549."},{"key":"e_1_3_2_1_27_1","volume-title":"Tree of Thoughts: Deliberate Problem Solving with Large Language Models. CoRR abs\/2305.10601","author":"Yao Shunyu","year":"2023","unstructured":"Shunyu Yao, Dian Yu, Jeffrey Zhao, Izhak Shafran, Thomas L. Griffiths, Yuan Cao, and Karthik Narasimhan. 2023. Tree of Thoughts: Deliberate Problem Solving with Large Language Models. CoRR abs\/2305.10601 (2023)."},{"key":"e_1_3_2_1_28_1","volume-title":"Zixuan Ma, Yufei Xue, Jidong Zhai, Wenguang Chen, Zhiyuan Liu, Peng Zhang, Yuxiao Dong, and Jie Tang.","author":"Zeng Aohan","year":"2023","unstructured":"Aohan Zeng, Xiao Liu, Zhengxiao Du, Zihan Wang, Hanyu Lai, Ming Ding, Zhuoyi Yang, Yifan Xu, Wendi Zheng, Xiao Xia, Weng Lam Tam, Zixuan Ma, Yufei Xue, Jidong Zhai, Wenguang Chen, Zhiyuan Liu, Peng Zhang, Yuxiao Dong, and Jie Tang. 2023. GLM-130B: An Open Bilingual Pre-trained Model. In ICLR."}],"event":{"name":"ICSE-NIER'24: 2024 ACM\/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS","Faculty of Engineering of University of Porto"],"location":"Lisbon Portugal","acronym":"ICSE-NIER'24"},"container-title":["Proceedings of the 2024 ACM\/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3639476.3639779","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3639476.3639779","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:53:39Z","timestamp":1750287219000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3639476.3639779"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,14]]},"references-count":27,"alternative-id":["10.1145\/3639476.3639779","10.1145\/3639476"],"URL":"https:\/\/doi.org\/10.1145\/3639476.3639779","relation":{},"subject":[],"published":{"date-parts":[[2024,4,14]]},"assertion":[{"value":"2024-05-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}