Write a Blog >>
ISSTA 2021
Sun 11 - Sat 17 July 2021 Online
co-located with ECOOP and ISSTA 2021
ECOOP and ISSTA 2021 (series) / ISSTA 2021 (series) / Zhenbang Chen

Registered user since Sun 17 Dec 2017

Name:Zhenbang Chen
Country:China
Affiliation:National University of Defense Technology
Personal website:http://zbchen.github.io
Research interests:Program analysis, Formal methods and their applications

Contributions

ISSTA 2021 Grammar-Agnostic Symbolic Execution by Token Symbolization
Grammar-Agnostic Symbolic Execution by Token Symbolization
Type and Interval Aware Array Constraint Solving for Symbolic Execution
Synthesize Solving Strategy for Symbolic Execution
Type and Interval aware Array Constraint Solving for Symbolic Execution
Show activities from other conferences

ECOOP and ISSTA 2021-profile
View general profile