Zhenbang Chen
Publications
Teaching
Students
Projects
Talks
Services

Zhenbang Chen

Professor of Computer Science, NUDT

Changsha, China
Email
Github
Google Scholar
ORCID
DBLP

Large Language Model Enabled Symbolic Execution for Automated Functional Analysis

Date: October 14, 2026

Share on

Twitter Facebook LinkedIn

Follow:
GitHub
Feed

© 2026 Zhenbang Chen. Powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.