Weilin Luo, Weiyuan Fang, Junming Qiu, Hai Wan, Yanan Liu, Rongzhen Ye. ITG: Trace Generation via Iterative Interaction between LLM Query and Trace Checking. In Proceedings of the 2024 ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results, NIER@ICSE 2024, Lisbon, Portugal, April 14-20, 2024. pages 11-15, ACM, 2024. [doi]
Abstract is missing.