Zeyu Lu

Automated Test Generation for IEC 61131-3 ST Programs via Dynamic Symbolic Execution

Ting Su, Jianqi Shi, Yanhong Huang, 2019, Theoretical Aspects of Software Engineering.

Dynamically Detecting Invariants for Automatic Testing PLC Programs (S)

Zeyu Lu, 2021, Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering.