Weigang He

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 5

Top Topics

Hardware Designs

Test Generation

Symbolic Execution

Top Venues

Sci. Comput. Program.

IEEE Trans. Ind. Informatics

ESEC/SIGSOFT FSE

Publications

Weigang He, Peng Di, Mengli Ming, Chengyu Zhang, Ting Su, Shijie Li, Yulei Sui
Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Enze Ma, Shan Huang, Weigang He, Ting Su, Jue Wang, Huiyu Liu, Geguang Pu, Zhendong Su
Automata-Based Trace Analysis for Aiding Diagnosing GUI Testing Tools for Android. ESEC/SIGSOFT FSE (2023)
Jiawen Xiong, Xiangxing Bu, Yanhong Huang, Jianqi Shi, Weigang He
Safety Verification of IEC 61131-3 Structured Text Programs. IEEE Trans. Ind. Informatics 17 (4) (2021)
Weigang He, Xia Mao, Ting Su, Yanhong Huang, Jianqi Shi
Data Flow Testing for PLC Programs via Dynamic Symbolic Execution. APSEC (2021)
Weigang He, Jianqi Shi, Ting Su, Zeyu Lu, Li Hao, Yanhong Huang
Automated test generation for IEC 61131-3 ST programs via dynamic symbolic execution. Sci. Comput. Program. 206 (2021)
Liang Bao, Chao Yin, Weigang He, Jun Ge, Ping Chen
Extracting reusable services from legacy object-oriented systems. ICSM (2010)