登录 西安电子科技大学 English

PxlEGung5VJbz7fFyqiOqI0Y9Cbq0gnKQYua8NAwsYrTtnPhV2fF00p0o08n
文成

个人信息Personal Information

讲师（高校） 硕士生导师

性别：男

学历：博士研究生毕业

学位：博士研究生毕业

在职信息：在岗

所在单位：广州研究院

入职时间：2022-12-01

学科：计算机软件与理论. 计算机科学与技术. 软件工程

办公地点：广州市黄埔区新龙镇知明路83号西安电子科技大学广州研究院求真楼A714

联系方式：

扫描关注
同专业硕导

论文成果

当前位置: 文成-中文 >> 科学研究 >> 论文成果

Publications

  1. Ma Z, Liang X, Wen C*, Chen R, Gu B, Qin S, Tian C, Yang M. Automated LTL Specification Generation from Industrial Aerospace Requirements. Proceedings of the 27th International Symposium on Formal Methods. 2026. (FM 2026, CCF A类，通讯作者)

  2. Ma Z, Wen C*, Yu B, Su J. Integrating ensemble learning and Large Language Models for efficient formal verification of IP-based aerospace systems. Information Fusion, 2026, 125:103466 (INFFUS 2026, 中科院一区，通讯作者)

  3. 文成, 马智, 胡俊杰, 王竟亦, 苏杰, 许智武, 刘杜钢, 田聪, 杨孟飞. 大语言模型赋能软件形式化验证研究综述. 软件学报. 2026,37(9). (软件学报 2026, CCF中文T1类)

  4. Wen C, Hu J, Hu Y, Su J, Yu B, Liu D, Xu Z, Sun W, Qin S, Tian C. Formally Specifying the Intended Behavior of the Program: LLM-Driven Neuro-Symbolic Program Specification Synthesis. Proceedings of the 64th Annual Meeting of the Association for Computational Linguistics (Volume 3: System Demonstrations). 2026.  (ACL Demo 2026, CCF A类)

  5. Jiang J, Wen C*, Fu Z, Qin S. CtxFuzz: Discovering Heap-based Memory Vulnerabilities Through Context Heap Operation Sequence Guided Fuzzing. Science of Computer Programming, Volume 249, 2026:103395 (SCP 2026, CCF B，通讯作者)

  6. Jiang C, Wang D, Liu D, Xu Z, Wen C, Ming Z, Liu Y, Wan X, Huang L. StarVerus: LLM-Powered Multi-Agent Collaboration for Industrial Rust Code Verification Automation. The 32nd ACM SIGKDD Conference on Knowledge Discovery and Data Mining V.2. 2026. (KDD 2026, CCF A类)

  7. Huang J, Wen C*, Su J, Xu Z, Yu B, Qin S, Tian C. Preserving Concurrency-Revealing Seeds in Fuzzing of Concurrent Programs via Tuple-Based Coverage Evaluation. Proceedings of the 33rd IEEE International Conference on Software Analysis, Evolution and Reengineering. (SANER 2026, CCF B类，通讯作者)

  8. Wang Y, Su J, Wen C, Wang R, Tian C, Duan Z, Qin S. Synergizing LLM-Driven Semantic Reasoning with Assertion-Guided Analysis for Enhanced Vulnerability Detection. Proceedings of the 33rd IEEE International Conference on Software Analysis, Evolution and Reengineering. (SANER 2026, CCF B类)

  9. Lin Y, Su J, Wen C, Wang R, Tian C, Duan Z, Qin S. How Well Does Knowledge Injection Enhance LLM-aided Formal Protocol Modeling? Proceedings of the 33rd IEEE International Conference on Software Analysis, Evolution and Reengineering. (SANER 2026, CCF B类)

  10. Zhang Y, Wen C*, Xu Z, Liu D, Cao J, Liu Y, Qin S and Tian C. Enhancing LLM-based Proof Synthesis for Rust Programs via Semantic Chunking and Hierarchical Context Expansion. Proceedings of the 20th Theoretical Aspects of Software Engineering Conference. (TASE 2026, CCF C类，通讯作者)

  11. Zhang Y, Liao X, Wen C*, Su Jie, Li Z, Cai Y, Ma X and Qin S. Towards Accurate Thread Sharing Analysis via Synchronization-Aware Dynamic Tracing. Proceedings of the 20th Theoretical Aspects of Software Engineering Conference. (TASE 2026, CCF C类，通讯作者)

  12. Wang M, Yu B, Lu W, Gao K, Wang Z, Wen C, Lu X, Tian C. DevGen: Automated Generation of Virtual Device Models for Kernel Drivers via Large Language Models. The ACM International Conference on the Foundations of Software Engineering (FSE IVR).  (FSE 2026 IVR, CCF A类)

  13. Yuan Z, Yu B, Lu X, Wang W, Liu Y, Wen C, Wang M, Chen C. IDPVerifier: Verifying Interrupt-driven Programs Efficiently via Heuristic and Reduced Partial-order Constraints. The ACM International Conference on the Foundations of Software Engineering (FSE IVR).  (FSE 2026 IVR, CCF A类)

  14. Liu Y, Yu B, Li R, Wen C, Lu X, Chen C, Tian C. Atomicity Violation Detection for Interrupt-Driven Programs via Incrementally Exploring Concurrent Paths. The 48th IEEE/ACM 47th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER). (ICSE 2026 NIER, CCF A类)

  15. 胡俊杰, 陈宇杰, 胡义坤, 文成*, 曹嘉伦, 马智, 苏杰, 孙纬地, 田聪, 秦胜潮. 大模型驱动的形式化定理证明：综述与展望[J].计算机科学,2026,53(04):1-23. (计算机科学, CCF中文T2类，通讯作者)

  16. Wen C, Cai Y, Zheng H, Yu B, Liu D, Sadatdiynov K, Xu Z, Qin S. A Survey on Static Code Analysis with Large Language Models. The 19th International Conference on Knowledge Science, Engineering and Management. 2026. (KSEM 2026, CCF C类，第一作者)

  17. Hu j, Wen C*, Cao J, Hu Y, Liu D, Ma Z, Xu Z, Qin S. When Large Language Models Meet Formal Theorem Proving: A Survey. The 19th International Conference on Knowledge Science, Engineering and Management. 2026. (KSEM 2026, CCF C类，通讯作者)

  18. Jiang C, Liu D Wen C, Xu Z, Zheng H, Sadiq M, Shamsi J A,  Qin S, Ming Z. Large Language Models for Multilingual Code Intelligence: A Survey. The 19th International Conference on Knowledge Science, Engineering and Management. 2026. (KSEM 2026, CCF C类)

  19. Zheng H, Guo Y, Sadatdiynov K, Wen C, Sadiq M, Liu D, Shamsi J A, Qureshi A. From Heuristics to Transformers: A Comprehensive Survey of Type Inference from Stripped Binaries. (CNSSE 2026, 通讯作者)

  20. Zhang S, Liu H, Ma Z, Liang X, Wen C. Formal Verification of Aerospace Software IP Components: A Multi-Tool Case Study. (CNSSE 2026)

  21. Ma Z, Wen C, Su Z, Liang X, Tian C*, Qin S, Yang M. Bridging Natural Language and Formal Specification - Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs. The 40th IEEE/ACM International Conference on Automated Software Engineering. (ASE 2025, CCF A类, ACM SIGSOFT Distinguished Paper award)

  22. Cao J，Lu Y, Li M, Ma H, Li H, He M, Wen C, Sun L, Zhang H, Qin S*, Cheung, S. C., Tian C. From Informal to Formal – Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs. Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers). 2025: 26984-27003. (ACL 2025, CCF A类)

  23. Xin G, Xu G, Zhang Y, Wen C, Zhang C, Xie X, ... & Gao P. IRHunter: Universal Detection of Instruction Reordering Vulnerabilities for Enhanced Concurrency in Distributed and Parallel Systems. IEEE Transactions on Parallel and Distributed Systems. (TPDS 2025, CCF A类, 中科院一区)

  24. Su J, Deng L, Wen C, et al. MFH: A Multi-faceted Heuristic Algorithm Selection Approach for Software Verification. arXiv preprint arXiv:2503.22228, 2025.

  25. Wen C, Cao J*, Su J, Xu Z, Qin S*, He M, Li H, Cheung, S. C., Tian C. Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification. Proceedings of the 36th International Conference on Computer Aided Verification. 2024. (CAV 2024, CCF A类，第一作者)

  26. Xu Z, Wu B, Wen C*, Zhang B, Qin S*, He M. RPG: Rust Library Fuzzing with Pool-based Fuzz Target Generation and Generic Support. Proceedings of the 46th International Conference on Software Engineering. 2024. (ICSE 2024, CCF A类，通讯作者)

  27. Wen C, Cai Y, Zhang Bin, Su J*, Xu Z, Liu D, Qin S*, Ming Z, Tian C. Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We? Transactions on Knowledge Discovery from Data. 2024. (TKDD , CCF B类，第一作者)

  28. Fu Z, Jiang J, Wen C, Xu Z, Qin S. MemSpate: Memory Usage Protocol Guided Fzzing. The International Conference on Formal Engineering Methods. (ICFEM 2024，CCF C类)

  29. Su J, Deng L, Wen C, Qin S*, Tian C*. CFStra: Enhancing Configurable Program Analysis Through LLM-driven Strategy Selection Based on Code Features. Proceedings of the 18th Theoretical Aspects of Software Engineering Conference. (TASE 2024，CCF C类)

  30. Jiang J, Wen C*, Qin S*. CtxFuzz: Discovering Heap-based Memory Vulnerabilities Through Context Heap Operation Sequence Guided Fuzzing. Proceedings of the 18th Theoretical Aspects of Software Engineering Conference. (TASE 2024，CCF C类，通讯作者)

  31. Ma Z, Wen C, Su J, et al. Towards Practical Requirement Analysis and Verification: A Case Study on Software IP Components in Aerospace Embedded Systems. arXiv preprint arXiv:2404.00795, 2024.

  32. Wen C, He M*, Wu B, et al. Controlled concurrency testing via periodical scheduling. Proceedings of the 44th International Conference on Software Engineering. 2022: 474-486. (ICSE 2022, CCF A类，第一作者)

  33. Xu Z, Wen C, Qin S*, Meng H. Extracting automata from neural networks using active learning. PeerJ Computer Science. April 2021.  (SCI, JCR二区)

  34. Wen C, Wang H*, Li Y, et al. Memlock: Memory usage guided fuzzing. Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering. 2020: 765-777. (ICSE 2020, CCF A类，第一作者)

  35. Wang H, Xie X, Li Y, Wen C, et al. Typestate-guided fuzzer for discovering use-after-free vulnerabilities. Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering. 020: 999-1010. (ICSE 2020, CCF A类)

  36. Xu Z, Wen C, Qin S*. Type learning for binaries and its applications. IEEE Transactions on Reliability, 2019, 68(3): 893-912. (SCI, 中科院二区)

  37. Xu Z, Wen C, Qin S*. State-taint analysis for detecting resource bugs. Science of Computer Programming, 2018, 162: 93-109.  (SCI, CCF B类)

  38. Xu Z, Xiong H, Wen C, Qin S*. Extracting Automata from Neural Networks Using Active Learning. National Conference on Formal Methods and Applications (FMAC). Chongqin, China. 3-4th Nov 2018. (Best Paper Award)

  39. Xu Z, Wen C, Qin S*, Ming Z. Effective malware detection based on behaviour and data features. International Conference on Smart Computing and Communication (SmartCom). Springer, Cham, Shenzhen, China. 12-14th Dec 2017. (Best Student Paper Award)

  40. Xu Z, Wen C, Qin S*. Learning types for binaries. International Conference on Formal Engineering Methods (ICFEM). Springer, Cham, Xi'an, China. 13-17th Nov 2017. (ICFEM 2017, CCF C类)



Practical Security Impact (83 CVEs)

I have found several security-critical vulnerabilities in widely used real-world programs.

CVE-2023-49558, CVE-2023-49557, CVE-2023-49556, CVE-2023-49555, CVE-2023-49554, CVE-2023-49553, CVE-2023-49552, CVE-2023-49551, CVE-2023-49550, CVE-2023-49549, 

CVE-2022-26291, CVE-2020-36375, CVE-2020-36374, CVE-2020-36373, CVE-2020-36372, CVE-2020-36371, CVE-2020-36370, CVE-2020-36369, CVE-2020-36368, CVE-2020-36367, CVE-2020-36366, CVE-2020-18900, CVE-2020-18899, CVE-2020-18898, CVE-2020-18897, CVE-2020-18395, CVE-2020-18392, CVE-2020-18382, CVE-2020-18378, CVE-2019-16166, CVE-2019-16165, CVE-2019-15140, CVE-2019-11471, CVE-2019-7704, CVE-2019-7703, CVE-2019-7702, CVE-2019-7701, CVE-2019-7700, CVE-2019-7699, CVE-2019-7698, CVE-2019-7697, CVE-2019-7665, CVE-2019-7664, CVE-2019-7663, CVE-2019-7662, CVE-2019-7154, CVE-2019-7153, CVE-2019-7152, CVE-2019-7151, CVE-2019-7150, CVE-2019-7149, CVE-2019-7148, CVE-2019-7147, CVE-2019-7146, CVE-2019-6293, CVE-2019-6292, CVE-2019-6291, CVE-2019-6290, CVE-2018-20712, CVE-2018-20657, CVE-2018-20652, CVE-2018-20651, CVE-2018-20593, CVE-2018-20592, CVE-2018-20591, CVE-2018-20002, CVE-2018-18701, CVE-2018-18700, CVE-2018-18607, CVE-2018-18606, CVE-2018-18605, CVE-2018-18521, CVE-2018-18520, CVE-2018-18484, CVE-2018-18483, CVE-2018-18310, CVE-2018-18309, CVE-2018-17985, CVE-2018-17795, CVE-2018-17794, CVE-2018-16403, CVE-2018-16402, CVE-2018-16062


版权所有：西安电子科技大学　陕ICP备05016463号
手机版 访问量：次

最后更新时间： ..