Learning Types for Binaries. - Zhiwu Xu 001; Cheng Wen 002; Shengchao Qin (ICFEM, 2017)

Effective Malware Detection Based on Behaviour and Data Features. - Zhiwu Xu 001; Cheng Wen 002; Shengchao Qin; Zhong Ming 001 (SmartCom, 2017)

State-taint analysis for detecting resource bugs. - Zhiwu Xu 001; Cheng Wen 002; Shengchao Qin (Sci. Comput. Program., 2018)

Type Learning for Binaries and Its Applications. - Zhiwu Xu 001; Cheng Wen 002; Shengchao Qin (IEEE Trans. Reliab., 2019)

Typestate-guided fuzzer for discovering use-after-free vulnerabilities. - Haijun Wang 002; Xiaofei Xie; Yi Li 008; Cheng Wen 002; Yuekang Li; Yang Liu 003; Shengchao Qin; Hongxu Chen 001; Yulei Sui (ICSE, 2020)

MemLock: memory usage guided fuzzing. - Cheng Wen 002; Haijun Wang 002; Yuekang Li; Shengchao Qin; Yang Liu 003; Zhiwu Xu 001; Hongxu Chen 001; Xiaofei Xie; Geguang Pu; Ting Liu 002 (ICSE, 2020)

Extracting automata from neural networks using active learning. - Zhiwu Xu 001; Cheng Wen 002; Shengchao Qin; Mengda He (PeerJ Comput. Sci., 2021)

Controlled Concurrency Testing via Periodical Scheduling. - Cheng Wen 002; Mengda He; Bohao Wu; Zhiwu Xu 001; Shengchao Qin (ICSE, 2022)

Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification. - Cheng Wen 002; Jialun Cao; Jie Su 002; Zhiwu Xu 001; Shengchao Qin; Mengda He; Haokun Li; Shing-Chi Cheung; Cong Tian (CAV (2), 2024)

MemSpate: Memory Usage Protocol Guided Fuzzing. - Zhiyuan Fu; Jiacheng Jiang; Cheng Wen 002; Zhiwu Xu 001; Shengchao Qin (ICFEM, 2024)

RPG: Rust Library Fuzzing with Pool-based Fuzz Target Generation and Generic Support. - Zhiwu Xu 001; Bohao Wu; Cheng Wen 002; Bin Zhang; Shengchao Qin; Mengda He (ICSE, 2024)

CtxFuzz: Discovering Heap-Based Memory Vulnerabilities Through Context Heap Operation Sequence Guided Fuzzing. - Jiacheng Jiang; Cheng Wen 002; Shengchao Qin (TASE, 2024)

CFStra: Enhancing Configurable Program Analysis Through LLM-Driven Strategy Selection Based on Code Features. - Jie Su 002; Liansai Deng; Cheng Wen 002; Shengchao Qin; Cong Tian (TASE, 2024)

Towards Practical Requirement Analysis and Verification: A Case Study on Software IP Components in Aerospace Embedded Systems. - Zhi Ma; Cheng Wen 002; Jie Su 002; Ming Zhao; Bin Yu 008; Xu Lu 003; Cong Tian (CoRR, 2024)

Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We? - Cheng Wen 002; Yuandao Cai; Bin Zhang; Jie Su 002; Zhiwu Xu 001; Dugang Liu; Shengchao Qin; Zhong Ming 001; Cong Tian (ACM Trans. Knowl. Discov. Data, 2024)

From Informal to Formal - Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs. - Jialun Cao; Yaojie Lu 001; Meiziniu Li; Haoyang Ma; Haokun Li; Mengda He; Cheng Wen 002; Le Sun 001; Hongyu Zhang 002; Shengchao Qin; Shing-Chi Cheung; Cong Tian (ACL (1), 2025)

IRHunter: Universal Detection of Instruction Reordering Vulnerabilities for Enhanced Concurrency in Distributed and Parallel Systems. - Guohua Xin; Guangquan Xu; Yao Zhang 019; Cheng Wen 002; Cen Zhang; Xiaofei Xie; Neal N. Xiong; Shaoying Liu; Pan Gao (IEEE Trans. Parallel Distributed Syst., 2025)