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

Registered user since Sun 17 Dec 2017

Name:Zhenbang Chen
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


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