Weiyuan Fang

According to our database, Weiyuan Fang authored at least 2 papers in 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

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

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

ITG: Trace Generation via Iterative Interaction between LLM Query and Trace Checking.

Weilin Luo, Weiyuan Fang, Junming Qiu, Hai Wan, Yanan Liu, Rongzhen Ye

Proceedings of the 2024 ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results, 2024