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

MODELS 2021 PC Member in Program Committee within the Workshops-track
ISSTA 2021 Author of Grammar-Agnostic Symbolic Execution by Token Symbolization within the Technical Papers-track
Author of Grammar-Agnostic Symbolic Execution by Token Symbolization within the Artifact Evaluation-track
Author of Type and Interval aware Array Constraint Solving for Symbolic Execution within the Technical Papers-track
Author of Synthesize Solving Strategy for Symbolic Execution within the Technical Papers-track
Author of Type and Interval aware Array Constraint Solving for Symbolic Execution within the Artifact Evaluation-track
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