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

Contributions

* 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