ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020
SPLASH 2020 (series) / ECOOP 2020 (series) / Chengyu Zhang
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

SPLASH 2020 On the Unusual Effectiveness of Type-Aware Operator Mutations for Testing SMT Solvers
Session Chair of T-3 (part of OOPSLA)
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
On the Unusual Effectiveness of Type-aware Operator Mutations for Testing SMT Solvers
ECOOP 2020 Committee Member in Artifact Evaluation Committee within the Artifacts-track
Show activities from other conferences

SPLASH 2020-profile
View general profile