Registered user since Sun 17 Dec 2017

Name: Zhenbang Chen

Country: China

Affiliation: College of Computer, National University of Defense Technology, Changsha, PR China

Personal website:

Research interests: Program analysis, Formal methods and their applications


* ICSE 2018 *Author of Symbolic Verification of Regular Properties within the Technical Papers -track
Author of Towards Optimal Concolic Testing within the Technical Papers -track
Author of Poster W48: MC/DC Coverage-Oriented Compiler Optimization for Symbolic Execution within the Posters -track