2026

1. - Cheng Wen, Zhi Ma, Junjie Hu, Jingyi Wang, Jie Su, Zhiwu Xu, Dugang Liu, Cong Tian, Shengchao Qin, Mengfei Yang. A Review on Software Formal Verification Empowered by Large Language Models. Ruan Jian Xue Bao/Journal of Software. (in Chinese). 2026. PDF, DOI
2. - Yuanzhe Liu, Bin Yu, Ruixue Li, Cheng Wen, Xu Lu, Chu Chen, Cong Tian. Atomicity Violation Detection for Interrupt-Driven Programs via Incrementally Exploring Concurrent Paths. IEEE/ACM 48th International Conference on Software Engineering (ICSE 2026 NIER). Rio de Janeiro, Brazil, 12 - 18 April 2026. PDF, DOI
3. - Junjie Huang, Cheng Wen, Jie Su, Zhiwu Xu, Bin Yu, Shengchao Qin, Cong Tian. Preserving Concurrency-Revealing Seeds in Fuzzing of Concurrent Programs via Tuple-Based Coverage Evaluation. IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2026). Limassol, Cyprus, Tue 17 - Fri 20 March 2026. PDF, DOI
4. - Yin Wang, Jie Su, Cheng Wen, Rong Wang, Cong Tian, Zhenghua Duan, Shengchao Qin. Synergizing LLM-Driven Semantic Reasoning with Assertion-Guided Analysis for Enhanced Vulnerability Detection. IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2026). Limassol, Cyprus, Tue 17 - Fri 20 March 2026. PDF, DOI
5. - Yajia Lin, Jie Su, Cheng Wen, Rong Wang, Cong Tian, Zhenghua Duan, Shengchao Qin. How Well Does Knowledge Injection Enhance LLM-aided Formal Protocol Modeling? IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2026). Limassol, Cyprus, Tue 17 - Fri 20 March 2026. PDF, DOI
6. - Junjie Hu, Yujie Chen, Yikun Hu, Cheng Wen, Jialun Cao, Zhi Ma, Jie Su, Weidi Sun, Cong Tian, Shengchao Qin. Formal Theorem Proving Empowered by Large Language Models: Survey and Perspectives. Computer Science 2026. PDF, DOI
7. - Hua Zheng, Yuhang Guo, Kuanishbay Sadatdiynov, Cheng Wen, Muhammad Sadiq, Dugang Liu, Jawwad Ahmed Shamsi, Anam Qureshi. From Heuristics to Transformers: A Comprehensive Survey of Type Inference from Stripped Binaries. Proceedings of the 2026 6th International Conference on Computer Network Security and Software Engineering. 2026. PDF, DOI

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. 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. 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. Information Fusion (INFFUS). Available online 8 July 2025, 103466. PDF, DOI
6. - Jiacheng Jiang, Cheng Wen, Zhiyuan Fu, Shengchao Qin. CtxFuzz: Discovering Heap-based Memory Vulnerabilities Through Context Heap Operation Sequence Guided Fuzzing. Science of Computer Programming (SCP). 2025. PDF, DOI
7. - 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
4. - 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
5. - 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，发明专利）

- 软件验证算法预测方法和装置、电子设备、存储介质（申请号：2025110427270，发明专利）

- 语句转换方法、装置、电子设备以及存储介质（申请号：2025117754752，发明专利）

- 基于可扩展标签对比和存储结构优化的轻量级内存错误检测软件（受理号：2025R11S2813552，软件著作权）

- 协同LLM语义推理的程序路径约束生成与漏洞分析软件（在申，软件著作权）

- 基于代码特征的大语言模型驱动策略选择增强可配置程序分析软件（在申，软件著作权）

- 基于间接标记的软件验证分步算法的智能选择软件（在申，软件著作权）

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

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

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

- 深圳市基础研究专项自然科学基金计划，面上项目，基于程序逻辑与大语言模型的程序规约生成技术，JCYJ20250604184202003，2025年10月21日-2028年10月20日，30万元，在研，项目负责人：文成

- 华为技术有限公司，技术研究项目，面向程序动静态验证的大模型训练方法和应用框架研究项目，TC20251031038，2025年-2026年，98.88万元，在研，项目负责人：田聪

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

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

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