Weigang He

Weigang He

PhD Candidate at UTS. Fuzzing, software testing, static analysis, and AI safety.

Publications

Conference

  1. Seed Patches to CodeQL Queries: Compositional Synthesis with Proof-of-Concept Validation.
    Weigang He, Xiao Cheng, Shuangxiang Kan, Wei Li, Xingrui Yu, Ivor Tsang, Yulei Sui
    IEEE/ACM International Conference on Software Engineering (ICSE), 2027. To appear.

  2. 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
    ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE), 2024.

  3. 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
    ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE), 2023.

  4. Data flow testing for PLC programs via dynamic symbolic execution.
    Weigang He, Xia Mao, Ting Su, Yanhong Huang, and Jianqi Shi.
    28th Asia-Pacific Software Engineering Conference, APSEC 2021, Taipei, Taiwan, December 6-9, 2021, pages 152–160. IEEE, 2021.

  5. Automated test generation for iec 61131-3 st programs via dynamic symbolic execution.
    Weigang He, Jianqi Shi, Ting Su, Zeyu Lu, Li Hao, and Yanhong Huang.
    Science of Computer Programming, 206:102608, 2021.

Journal

  1. Spectre: Automated Aliasing Specification Generation for Library APIs with Fuzzing.
    Shuangxiang Kan, Yuekang Li, Weigang He, Zhenchang Xing, Liming Zhu, Yulei Sui.
    ACM Transactions on Software Engineering and Methodology (TOSEM), 2025.

  2. Safety verification of iec 61131-3 structured text programs.
    Jiawen Xiong, Xiangxing Bu, Yanhong Huang, Jianqi Shi, and Weigang He.
    IEEE Transactions on Industrial Informatics, 17(4):2632–2640, 2020.

Workshop

  1. QLM: CodeQL Query Synthesis with Compositional PoC Validation.
    Weigang He, Xiao Cheng, Shuangxiang Kan, Wei Li, Xingrui Yu, Ivor Tsang, Yulei Sui
    Journal Ahead Workshop (JAWs), co-located with ICSE 2026. Presentation; an earlier version of the ICSE’27 paper.