Write a Blog >>
MOBILESoft 2020
Mon 13 - Wed 15 July 2020
co-located with ICSE 2020
Chengyu Zhang

Registered user since Thu 25 Jan 2018

Name:Chengyu Zhang
Country:China
Affiliation:East China Normal University
Research interests:Software Testing, Symbolic Execution, Program Analysis

Contributions

ICSE 2020 Stress Testing SMT Solvers via Type-aware Mutation
Show activities from other conferences

ICSE 2020-profile
View general profile