Zheng, Mingwei

1. CoRe: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks
   2025/07/03 by Danning Xie, Mingwei Zheng, Xie, Danning +11 · 7 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software Engineering Research #Software System Performance and Reliability #Software Testing and Debugging Techniques
2. RFCAudit: An LLM Agent for Functional Bug Detection in Network Protocols
   2025/05/31 by Mingwei Zheng, Chengpeng Wang, Zheng, Mingwei +8 · 4 citations
   Computer Science · #Network Security and Intrusion Detection #Network Packet Processing and Optimization #Software Testing and Debugging Techniques
3. Large Language Models for Validating Network Protocol Parsers
   2025/04/18 by Zheng, Mingwei, Xie, Danning, Zhang, Xiangyu · 2 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Software Engineering (cs.SE)