Weigang He

According to our database, Weigang He authored at least 7 papers between 2010 and 2026.

Collaborative distances:

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

2026

Spectre: Automated Aliasing Specification Generation for Library APIs with Fuzzing.

Shuangxiang Kan, Yuekang Li, Weigang He, Zhenchang Xing, Liming Zhu, Yulei Sui

ACM Trans. Softw. Eng. Methodol., April, 2026

2024

Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles.

Weigang He, Peng Di, Mengli Ming, Chengyu Zhang, Ting Su, Shijie Li, Yulei Sui

Proc. ACM Softw. Eng., 2024

2023

Automata-Based Trace Analysis for Aiding Diagnosing GUI Testing Tools for Android.

Enze Ma, Shan Huang, Weigang He, Ting Su, Jue Wang, Huiyu Liu, Geguang Pu, Zhendong Su

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

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

Automated test generation for IEC 61131-3 ST programs via dynamic symbolic execution.

Weigang He, Jianqi Shi, Ting Su, Zeyu Lu, Li Hao, Yanhong Huang

Sci. Comput. Program., 2021

Data Flow Testing for PLC Programs via Dynamic Symbolic Execution.

Weigang He, Xia Mao, Ting Su, Yanhong Huang, Jianqi Shi

Proceedings of the 28th Asia-Pacific Software Engineering Conference, 2021

2010

Extracting reusable services from legacy object-oriented systems.

Liang Bao, Chao Yin, Weigang He, Jun Ge, Ping Chen

Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010