MSR 2020
Mon 29 - Tue 30 June 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

Personal website: http://www.chengyuzhang.com

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