Zhenbang Chen
Publications
Teaching
Students
Projects
Talks
Services
Zhenbang Chen
Professor of Computer Science, NUDT
Follow
Changsha, China
Email
Github
Google Scholar
ORCID
DBLP
Regular Property Guided Dynamic Symbolic Execution
Share on
Twitter
Facebook
LinkedIn
Previous
Next
