Zhenbang Chen -

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: http://zbchen.github.io

Research interests: Program analysis, Formal methods and their applications

Contributions

ASE 2020	Author of Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once within the Research Papers-track Author of Styx: A Data-Oriented Mutation Framework to Improve the Robustness of DNN within the Late Breaking Results-track Author of Efficient Multiplex Symbolic Execution with Adaptive Search Strategy within the Late Breaking Results-track Author of Synthesizing Smart Solving Strategy for Symbolic Execution within the Late Breaking Results-track
ICSE 2020	Author of MPI-SV: A Symbolic Verifier for MPI Programs within the Demonstrations-track Author of Symbolic Verification of Message Passing Interface Programs within the Technical Papers-track
* 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