NL2CTL: Automatic Generation of Formal Requirements Specifications via Large Language Models. - Mengyan Zhao; Ran Tao; Yanhong Huang; Jianqi Shi; Shengchao Qin; Yang Yang 141 (ICFEM, 2024)

Static Code Analysis of IEC 61131-3 ST Programs via Symbolic Execution. - Mengyan Zhao; Yanhong Huang; Jianqi Shi; Yinghao Chen; Yang Yang 141 (SMC, 2024)

Automated Test Cases Generator for IEC 61131-3 Structured Text Based Dynamic Symbolic Execution. - Jianqi Shi; Yinghao Chen; Qin Li 002; Yanhong Huang; Yang Yang 141; Mengyan Zhao (IEEE Trans. Computers, 2024)