2025

1. - Zhi Ma, Cheng Wen, Zhexin Su, Xiao Liang, Cong Tian, Shengchao Qin, Mengfei Yang. Bridging Natural Language and Formal Specification - Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs. Accepted by the 40th IEEE/ACM International Conference on Automated Software Engineering (ASE 2025). Seoul, South Korea, Sun 16 - Thu 20 November 2025. PDF, DOI
2. - Jialun Cao, Yaojie Lu, Meiziniu Li, Haoyang Ma, Haokun Li, Mengda He, Cheng Wen, Le Sun, Hongyu Zhang, Shengchao Qin, Shing-Chi Cheung, Cong Tian. From Informal to Formal - Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs. Accepted by the 63rd Annual Meeting of the Association for Computational Linguistics (ACL 2025). Vienna, Austria July 27-August 1st, 2025. PDF, DOI, DataSet1, DataSet2, Model
4. - Zhi Ma, Cheng Wen, Bin Yu, Jie Su. Integrating Ensemble Learning and Large Language Models for Efficient Formal Verification of IP-Based Aerospace Systems. nformation Fusion (INFFUS). Available online 8 July 2025, 103466. PDF, DOI
6. - GuoHua Xin, Guangquan Xu, Yao Zhang, Cheng Wen, Cen Zhang, Xiaofei Xie, Neal N. Xiong, Shaoying Liu, Pan Gao. IRHunter: Universal Detection of Instruction Reordering Vulnerabilities for Enhanced Concurrency in Distributed and Parallel Systems. IEEE/ACM 46th International Conference on Software Engineering (TPDS). pp. 1220-1236, vol. 36. June 2025. PDF, DOI

2024

1. - Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian. Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification. Accepted by 36th International Conference on Computer Aided Verification (CAV). Montreal, Canada, 22-27th July 2024. PDF, DOI, Code
2. - Zhiwu Xu, Bohao Wu, Cheng Wen, Bin Zhang, Shengchao Qin, Mengda He. RPG: Rust Library Fuzzing with Pool-based Fuzz Target Generation and Generic Support. IEEE/ACM 46th International Conference on Software Engineering (ICSE). Lisbon, Poptugal, 14-20th April 2024. PDF, DOI, Code
3. - Cheng Wen, Yuandao Cai, Bin Zhang, Jie Su, Zhiwu Xu, Dugang Liu, Shengchao Qin, Zhong Ming, Cong Tian.
   Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We? Accepted by Transactions on Knowledge Discovery from Data (TKDD). 2024. PDF, DOI, Code
4. - Jie Su, Liansai Deng, Cheng Wen, Shengchao Qin and Cong Tian. CFStra: Enhancing Configurable Program Analysis Through LLM-driven Strategy Selection Based on Code Features. Accepted by the 18th Theoretical Aspects of Software Engineering Conference (TASE). 2024. PDF, DOI, Code
5. - Jiacheng Jiang, Cheng Wen, Shengchao Qin. CtxFuzz: Discovering Heap-based Memory Vulnerabilities Through Context Heap Operation Sequence Guided Fuzzing. Accepted by the 18th Theoretical Aspects of Software Engineering Conference (TASE). 2024. PDF, DOI, Code
6. - Zhiyuan Fu, Jiacheng Jiang, Cheng Wen, Zhiwu Xu, Shengchao Qin. MemSpate: Memory Usage Protocol Guided Fuzzing. Accepted by the International Conference on Formal Engineering Methods (ICFEM). 2024. PDF, DOI

2023

1. - Bin Yu, Cong Tian*, Hengrui Xing, Zuchao Yang, Jie Su, Lu Xu, Yang Jiyu, Zhao Liang, Li Xiaofeng, Duan Zhenghua. Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering. Proceedings of the 31th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2023). 2023. DOI, Code
2. - Jie Su, Zuchao Yang, Hengrui Xing, Jiyu Yang, Cong Tian* and Zhenhua Duan. PIChecker: A POR and Interpolation based Verifier for Concurrent Programs (Competition Contribution). Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems. 2023. DOI

2022

1. - Cheng Wen, Mengda He*, Bohao Wu, Zhiwu Xu and Shengchao Qin*. Controlled Concurrency Testing via Periodical Scheduling. Proceedings of the IEEE/ACM 44th International Conference on Software Engineering (ICSE). PA, USA, 21-29th May 2022. PDF, BibTex, DOI, Slides, DataSet, Video, Code, Website
2. - Jie Su, Cong Tian*, Zuchao Yang, Jiyu Yang, Bin Yu and Zhenhua Duan. Prioritized Constraint-Aided Dynamic Partial-Order Reduction. Proceedings of the IEEE/ACM 37th International Conference on Automated Software Engineering (ASE). 2022. DOI
3. - Jie Su, Zuchao Yang, Cong Tian and Zhenhua Duan. 基于约束依赖图的并发程序模型检测工具. 软件学报 2022,32(7). PDF
- Zhuohua Li, Jincheng Wang, Mingshen Sun, and John C.S. Lui. Detecting Cross-Language Memory Management Issues in Rust. Proceedings of the 27th European Symposium on Research in Computer Security (ESORICS). Copenhagen, Denmark, September 2022. PDF, BibTex, DOI, Code - Jialun Cao, Meiziniu Li, Xiao Chen, Ming Wen, Yongqian Tian, Bo Wu, Shing-Chi Cheung. DeepFD: Automated Fault Diagnosis and Localization for Deep Learning Programs. roceedings of the IEEE/ACM 44th International Conference on Software Engineering (ICSE). PA, USA, 21-29th May 2022. PDF, BibTex, DOI, Slides, Video

2021

1. - Jie Su, Cong Tian* and Zhenhua Duan. Conditional Interpolation: Making Concurrent Program Verification More Effective. Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. August 2021. DOI
2. - Zhiwu Xu, Cheng Wen, Shengchao Qin* and Mengda He. Extracting automata from neural networks using active learning. PeerJ Computer Science. April 2021. PDF, BibTex, DOI
3. - Zhuohua Li, Jincheng Wang, Mingshen Sun, and John C.S. Lui. MirChecker: Detecting Bugs in Rust Programs via Static Analysis. In Proceedings of the 28th ACM Conference on Computer and Communications Security (CCS). Virtual Conference, November 2021. PDF, BibTex, DOI, Code

2020

1. - Cheng Wen, Haijun Wang, Yuekang Li, Shengchao Qin*, Yang Liu, Zhiwu Xu, Hongxu Chen, Xiaofei Xie, Geguang Pu and Ting Liu. MemLock: Memory Usage Guided Fuzzing. IEEE/ACM 42nd International Conference on Software Engineering (ICSE). Seoul, South Korea, 5-11th July 2020. PDF, BibTex, DOI, Slides, DataSet, Video, Code, Website
2. - Haijun Wang, Xiaofei Xie, Yi Li, Cheng Wen, Yang Liu, Shengchao Qin*, Hongxu Chen and Yulei Sui. Typestate-Guided Fuzzer for Discovering Use-after-Free Vulnerabilities. IEEE/ACM 42nd International Conference on Software Engineering (ICSE). Seoul, South Korea, 5-11 July 2020. PDF, BibTex, DOI, Slides, DataSet, Video, Website

2019

1. - Zhiwu Xu, Cheng Wen, and Shengchao Qin*. Type Learning for Binaries and its Applications. IEEE Transactions on Reliability (Volume: 68:893-912, Issue:3, Sep 2019) PDF, BibTex, DOI, Slides, DataSet, Code
2. - Zhuohua Li, Jincheng Wang, Mingshen Sun, and John C.S. Lui. Securing the Device Drivers of Your Embedded Systems: Framework and Prototype. In Proceedings of the 3rd International Workshop on Security and Forensics of IoT (in conjunction with ARES 2019). IoT-SECFOR 2019, Canterbury, UK, August 2019. PDF, BibTex, DOI, Code

- 一种用于软件验证的多方面启发式算法选择方法（申请号，发明专利）

- 一种面向C/C++并发程序库的测试用例生成方法（申请号：2025108112588，发明专利）

- 国家自然科学基金，面上项目，基于分离逻辑与大语言模型辅助的自动程序验证技术，62472339，2025年-2028年，50万元，在研，项目负责人：秦胜潮

- 国家自然科学基金，青年科学基金项目，面向并发缺陷检测的高效空间探索技术研究，6240073166，2025年-2027年，30万元，在研，项目负责人：苏杰

- 国家自然科学基金，青年科学基金项目，面向高并发软件的可扩展建模与分析技术研究，62302375，2024年-2026年，30万元，在研，项目负责人：文成

- 华为技术有限公司，技术研究项目，面向C/C++程序的地址消毒器性能优化，TC20240717009，2024年-2025年，54.59万元，在研，项目负责人：文成

- 中国博士后科学基金，第73批面上资助，面向并发程序的可扩展的动态分析与测试技术研究，023M723736，2023年-2025年，8万元，在研，项目负责人：文成

- 华为技术有限公司，技术研究项目，面向C/C++程序的并发测试用例辅助生成，TC20230411034，2023年-2024年，53万元，在研，项目负责人：文成