Mengyan Zhao

According to our database, Mengyan Zhao authored at least 2 papers in 2024.

Collaborative distances:

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

2024

Automated Test Cases Generator for IEC 61131-3 Structured Text Based Dynamic Symbolic Execution.

Jianqi Shi, Yinghao Chen, Qin Li, Yanhong Huang, Yang Yang, Mengyan Zhao

IEEE Trans. Computers, April, 2024

NL2CTL: Automatic Generation of Formal Requirements Specifications via Large Language Models.

Mengyan Zhao, Ran Tao, Yanhong Huang, Jianqi Shi, Shengchao Qin, Yang Yang

Proceedings of the Formal Methods and Software Engineering, 2024