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

Registered user since Sun 17 Dec 2017

Name:Zhenbang Chen
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