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, Website
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. Proceedings of the IEEE/ACM 46th International Conference on Software Engineering (ICSE). Lisbon, Poptugal, 14-20th April 2024. PDF, DOI, Code, Website
3. - 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.
4. - 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.
5. - 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

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

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

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

- 一种迭代式多层级的程序规约合成方法与装置，xx,xx,xx,xx,xxxxxxxxx.xxxx（申请号，发明专利）

- 一种面向C程序库的并发测试用例生成方法与装置，xx,xx,xx,xx,xxxxxxxxx.xxxx（申请号，发明专利）

- 一种面向C程序API的验证驱动套件合成方法与装置，xx,xx,xx,xx,xxxxxxxxx.xxxx（申请号，发明专利）

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

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

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