Write a Blog >>
MSR 2018
Mon 28 - Tue 29 May 2018 Gothenburg, Sweden
co-located with * ICSE 2018 *

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