Extracting reusable services from legacy object-oriented systems. - Liang Bao; Chao Yin; Weigang He; Jun Ge; Ping Chen (ICSM, 2010)

Data Flow Testing for PLC Programs via Dynamic Symbolic Execution. - Weigang He; Xia Mao; Ting Su 001; Yanhong Huang; Jianqi Shi (APSEC, 2021)

Automated test generation for IEC 61131-3 ST programs via dynamic symbolic execution. - Weigang He; Jianqi Shi; Ting Su 001; Zeyu Lu; Li Hao; Yanhong Huang (Sci. Comput. Program., 2021)

Safety Verification of IEC 61131-3 Structured Text Programs. - Jiawen Xiong; Xiangxing Bu; Yanhong Huang; Jianqi Shi; Weigang He (IEEE Trans. Ind. Informatics, 2021)

Automata-Based Trace Analysis for Aiding Diagnosing GUI Testing Tools for Android. - Enze Ma; Shan Huang; Weigang He; Ting Su 001; Jue Wang; Huiyu Liu; Geguang Pu; Zhendong Su 001 (ESEC/SIGSOFT FSE, 2023)

Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles. - Weigang He; Peng Di; Mengli Ming; Chengyu Zhang 001; Ting Su 001; Shijie Li; Yulei Sui (Proc. ACM Softw. Eng., 2024)