| 2026 | TASE | The Robustness Profile: A Metamorphic Testing Framework for Multi-dimensional Evaluation of DRL Agents. | Kaicheng Shao, Yuteng Lu, Meng Sun |
| 2025 | QRS | Diagnosing Deep Learning Errors with Reinforcement Learning-Driven Adversarial Examples. | Kaicheng Shao, Yuteng Lu, Ai Liu, Meng Sun |
| 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 | Modeling and Verification of CKB Consensus Protocol in UPPAAL (S). | Yi-Chun Feng, 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 |
| 2018 | SEKE | Modeling and Verification of IEEE 802.11i Security Protocol for Internet of Things. | Yuteng Lu, Meng Sun |