* ICSE 2018 *
Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden

Registered user since Sun 17 Dec 2017

Name: Zhenbang Chen

Country: China

Affiliation: College of Computer, National University of Defense Technology

Personal website: http://zbchen.github.io

Research interests: Program analysis, Formal methods and their applications


* ICSE 2018 * Symbolic Verification of Regular Properties
Towards Optimal Concolic Testing
Poster W48: MC/DC Coverage-Oriented Compiler Optimization for Symbolic Execution
Show activities from other conferences

* ICSE 2018 *-profile
View general profile