Scholar
Cheng Wen
Google Scholar ID: 5D-EiWoAAAAJ
Guangzhou Institute of Technology, Xidian University
Software Engineering
Software Testing
Cyber Security
AI for SE
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
551
H-index
10
i10-index
10
Publications
19
Co-authors
16
list available
Contact
Email
wcventure666666@gmail.com
CV
Open ↗
GitHub
Open ↗
Publications
5 items
HY-Motion 1.0: Scaling Flow Matching Models for Text-To-Motion Generation
2025
Cited
0
Bridging Natural Language and Formal Specification--Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs
2025
Cited
0
SARI: Structured Audio Reasoning via Curriculum-Guided Reinforcement Learning
2025
Cited
0
MFH: A Multi-faceted Heuristic Algorithm Selection Approach for Software Verification
2025
Cited
0
From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
2025
Cited
0
Resume (English only)
Background
Currently a lecturer at Guangzhou Institute of Technology, Xidian University, co-leading the ICTT (Guangzhou) Research Group with Prof. Tian.
Research interests include Software Engineering (SE), Cyber Security (SEC), Artificial Intelligence for SE (AI4SE), and Formal Methods (FM).
Focuses on using program analysis, testing, verification, and AI techniques to enhance software security and reliability.
Discovered hundreds of real-world security-critical bugs, assigned 73 CVEs.
Developed tools are deployed and used in industry.
Miscellany
Pseudonym: wcventure
Homepage: https://wcventure.github.io/
GitHub: https://github.com/wcventure
CSDN Blog: https://blog.csdn.net/wcventure
Google Scholar: https://scholar.google.com/citations?hl=en&user=wcventure
Email: wencheng[at]xidian.edu.cn
Address: Guangzhou, Guangdong Province, China, 510530
Enjoys classical Chinese poetry; personal webpage features the verse: 'Wen Cheng Diao Long and Tian Jiao, heart free as drifting clouds...'
Co-authors
16 total
Shengchao Qin
Professor of Computer Science, Teesside University
Co-author 2
Cong Tian
Xidian University
Xiaofei Xie
Singapore Management University
Jie Su
Guangzhou Institute of Technology, Xidian University
Yuekang Li
Lecturer (Assistant Professor), University of New South Wales
Co-author 7
Co-author 8
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up