Cheng Wen
Identifiers
No identifiers captured yet.
Papers (6)
- ConCovUp: Effective Agent-Based Test Driver Generation for Concurrency Testing cs.SE · 2026 · author #4
- LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation cs.SE · 2026 · author #5
- Large Language Models for Multilingual Code Intelligence: A Survey cs.SE · 2026 · author #3
- Ghost in the Agent: Redefining Information Flow Tracking for LLM Agents cs.CR · 2026 · author #3
- Automated LTL Specification Generation from Industrial Aerospace Requirements cs.SE · 2026 · author #3
- CPI-C: Cool Planet Imaging Coronagraph on Chinese Space Station Survey Telescope astro-ph.EP · 2025 · author #23
Mentions
No mention provenance yet.
Frequent Coauthors
- Shengchao Qin 5 shared papers
- Cong Tian 2 shared papers
- Wensheng Tang 2 shared papers
- Yuandao Cai 2 shared papers
- Baoning Yuan 1 shared papers
- Bingli Niu 1 shared papers
- Bin Gu 1 shared papers
- Bo Chen 1 shared papers
- Boyang Lv 1 shared papers
- Chao Jiang 1 shared papers
- Charles Zhang 1 shared papers
- Di Wang 1 shared papers
- Dong Xu 1 shared papers
- Dugang Liu 1 shared papers
- Gang Wang 1 shared papers
- Gang Zhao 1 shared papers
- Guozhao Mo 1 shared papers
- Hongyu Lin 1 shared papers
- Hua Zheng 1 shared papers
- Huihai Wu 1 shared papers