Publications

Conference

1. 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.

2. 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.

3. 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 Engin eering Conference, APSEC 2021, Taipei, Taiwan, December 6-9, 2021, pages 152–160. IEEE, 2021.

4. 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. 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.