Write a Blog >>
ASE 2020
Mon 21 - Fri 25 September 2020 Melbourne, Australia

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 Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once
Styx: A Data-Oriented Mutation Framework to Improve the Robustness of DNN
Efficient Multiplex Symbolic Execution with Adaptive Search Strategy
Synthesizing Smart Solving Strategy for Symbolic Execution
Show activities from other conferences

ASE 2020-profile
View general profile