| 2026 | ACL | Formally Specifying the Intended Behavior of the Program: LLM-Driven Neuro-Symbolic Program Specification Synthesis. | Cheng Wen, Junjie Hu, YiKun Hu, Jie Su, Bin Yu, Dugang Liu, Zhiwu Xu, Weidi Sun, Shengchao Qin, Cong Tian |
| 2023 | SETTA | HeatC: A Variable-Grained Coverage Criterion for Deep Learning Systems. | Weidi Sun, Yuteng Lu, Xiaokun Luan, Meng Sun |
| 2022 | SETTA | MTUL: Towards Mutation Testing of Unsupervised Learning Systems. | Yuteng Lu, Kaicheng Shao, Weidi Sun, Meng Sun |
| 2022 | SETTA | HashC: Making DNNs' Coverage Testing Finer and Faster. | Weidi Sun, Xiaoyong Xue, Yuteng Lu, Meng Sun |
| 2021 | IJCNN | Are Coverage Criteria Meaningful Metrics for DNNs? | Weidi Sun, Yuteng Lu, Meng Sun |
| 2021 | SEKE | DeepAuto: A First Step Towards Formal Verification of Deep Learning Systems (S). | Yuteng Lu, Weidi Sun, Guangdong Bai, Meng Sun |
| 2021 | SETTA | Mutation Testing of Reinforcement Learning Systems. | Yuteng Lu, Weidi Sun, Meng Sun |
| 2021 | SETTA | DeepGlobal: A Global Robustness Verifiable FNN Framework. | Weidi Sun, Yuteng Lu, Xiyue Zhang, Meng Sun |
| 2019 | SEKE | PRISM Code Generation for Verification of Mediator Models (S). | Weidi Sun, Meng Sun |