Cheng Wen

22 papers A* 5C 2Misc 2Journal 10Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
CtxFuzz: Discovering heap-based memory vulnerabilities through context heap operation sequence guided fuzzing.
Sci. Comput. Program.
Jiacheng Jiang, Cheng Wen, Zhiyuan Fu, Shengchao Qin
2025 A* conf
Bridging Natural Language and Formal Specification-Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs.
ASE
Zhi Ma, Cheng Wen, Zhexin Su, Xiao Liang, Cong Tian, Shengchao Qin, Mengfei Yang
2025 J jnl
Bridging Natural Language and Formal Specification-Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs.
CoRR
Zhi Ma, Cheng Wen, Zhexin Su, Xiao Liang, Cong Tian, Shengchao Qin, Mengfei Yang
2025 — conf
From Informal to Formal - Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs.
ACL (1)
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
2025 J jnl
From Informal to Formal - Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs.
CoRR
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
2025 J jnl
IRHunter: Universal Detection of Instruction Reordering Vulnerabilities for Enhanced Concurrency in Distributed and Parallel Systems.
IEEE Trans. Parallel Distributed Syst.
Guohua Xin, Guangquan Xu, Yao Zhang, Cheng Wen, Cen Zhang, Xiaofei Xie, Neal N. Xiong, Shaoying Liu, Pan Gao
2024 J jnl
Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We?
ACM Trans. Knowl. Discov. Data
Cheng Wen, Yuandao Cai, Bin Zhang, Jie Su, Zhiwu Xu, Dugang Liu, Shengchao Qin, Zhong Ming, Cong Tian
2024 Misc conf
CFStra: Enhancing Configurable Program Analysis Through LLM-Driven Strategy Selection Based on Code Features.
TASE
Jie Su, Liansai Deng, Cheng Wen, Shengchao Qin, Cong Tian
2024 Misc conf
CtxFuzz: Discovering Heap-Based Memory Vulnerabilities Through Context Heap Operation Sequence Guided Fuzzing.
TASE
Jiacheng Jiang, Cheng Wen, Shengchao Qin
2024 — conf
Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification.
CAV (2)
Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian
2024 J jnl
Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification.
CoRR
Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian
2024 C conf
MemSpate: Memory Usage Protocol Guided Fuzzing.
ICFEM
Zhiyuan Fu, Jiacheng Jiang, Cheng Wen, Zhiwu Xu, Shengchao Qin
2024 A* conf
RPG: Rust Library Fuzzing with Pool-based Fuzz Target Generation and Generic Support.
ICSE
Zhiwu Xu, Bohao Wu, Cheng Wen, Bin Zhang, Shengchao Qin, Mengda He
2024 J jnl
Towards Practical Requirement Analysis and Verification: A Case Study on Software IP Components in Aerospace Embedded Systems.
CoRR
Zhi Ma, Cheng Wen, Jie Su, Ming Zhao, Bin Yu, Xu Lu, Cong Tian
2022 A* conf
Controlled Concurrency Testing via Periodical Scheduling.
ICSE
Cheng Wen, Mengda He, Bohao Wu, Zhiwu Xu, Shengchao Qin
2021 J jnl
Extracting automata from neural networks using active learning.
PeerJ Comput. Sci.
Zhiwu Xu, Cheng Wen, Shengchao Qin, Mengda He
2020 A* conf
MemLock: memory usage guided fuzzing.
ICSE
Cheng Wen, Haijun Wang, Yuekang Li, Shengchao Qin, Yang Liu, Zhiwu Xu, Hongxu Chen, Xiaofei Xie, Geguang Pu, Ting Liu
2020 A* conf
Typestate-guided fuzzer for discovering use-after-free vulnerabilities.
ICSE
Haijun Wang, Xiaofei Xie, Yi Li, Cheng Wen, Yuekang Li, Yang Liu, Shengchao Qin, Hongxu Chen, Yulei Sui
2019 J jnl
Type Learning for Binaries and Its Applications.
IEEE Trans. Reliab.
Zhiwu Xu, Cheng Wen, Shengchao Qin
2018 J jnl
State-taint analysis for detecting resource bugs.
Sci. Comput. Program.
Zhiwu Xu, Cheng Wen, Shengchao Qin
2017 — conf
Effective Malware Detection Based on Behaviour and Data Features.
SmartCom
Zhiwu Xu, Cheng Wen, Shengchao Qin, Zhong Ming
2017 C conf
Learning Types for Binaries.
ICFEM
Zhiwu Xu, Cheng Wen, Shengchao Qin