Follow
Cheng Wen
Cheng Wen
Guangzhou Institute of Technology, Xidian University
Verified email at xidian.edu.cn - Homepage
Title
Cited by
Cited by
Year
Memlock: Memory usage guided fuzzing
C Wen, H Wang, Y Li, S Qin, Y Liu, Z Xu, H Chen, X Xie, G Pu, T Liu
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
1262020
Typestate-guided fuzzer for discovering use-after-free vulnerabilities
H Wang, X Xie, Y Li, C Wen, Y Li, Y Liu, S Qin, H Chen, Y Sui
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
1082020
Controlled concurrency testing via periodical scheduling
C Wen, M He, B Wu, Z Xu, S Qin
Proceedings of the 44th International Conference on Software Engineering …, 2022
182022
State-taint analysis for detecting resource bugs
Z Xu, C Wen, S Qin
Science of Computer Programming 162, 93-109, 2018
182018
Typestate-guided fuzzer for discovering use-after-free vulnerabilities. In 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE)
H Wang, X Xie, Y Li, C Wen, Y Li, Y Liu, S Qin, H Chen, Y Sui
IEEE, 999ś1010. https://doi. org/10.1145/3377811 3380386, 2020
152020
Learning types for binaries
Z Xu, C Wen, S Qin
Formal Methods and Software Engineering: 19th International Conference on …, 2017
122017
Type learning for binaries and its applications
Z Xu, C Wen, S Qin
IEEE Transactions on Reliability 68 (3), 893-912, 2018
102018
Effective malware detection based on behaviour and data features
Z Xu, C Wen, S Qin, Z Ming
Smart Computing and Communication: Second International Conference, SmartCom …, 2018
92018
Extracting automata from neural networks using active learning
Z Xu, C Wen, S Qin, M He
PeerJ Computer Science 7, e436, 2021
42021
Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We?
C Wen, Y Cai, B Zhang, J Su, Z Xu, D Liu, S Qin, Z Ming, C Tian
ACM Transactions on Knowledge Discovery from Data, 2024
32024
RPG: Rust library fuzzing with pool-based fuzz target generation and generic support
Z Xu, B Wu, C Wen, B Zhang, S Qin, M He
Proceedings of the IEEE/ACM 46th International Conference on Software …, 2024
22024
Enchanting program specification synthesis by large language models using static analysis and program verification
C Wen, J Cao, J Su, Z Xu, S Qin, M He, H Li, SC Cheung, C Tian
arXiv preprint arXiv:2404.00762, 2024
22024
Towards Practical Requirement Analysis and Verification: A Case Study on Software IP Components in Aerospace Embedded Systems
Z Ma, C Wen, J Su, M Zhao, B Yu, X Lu, C Tian
arXiv preprint arXiv:2404.00795, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–13