ITG: Trace Generation via Iterative Interaction between LLM Query and Trace Checking. - Weilin Luo; Weiyuan Fang; Junming Qiu; Hai Wan; Yanan Liu; Rongzhen Ye (NIER@ICSE, 2024)

Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking. - Weilin Luo; Pingjia Liang; Junming Qiu; Polong Chen; Hai Wan; Jianfeng Du; Weiyuan Fang (ISSTA, 2024)