Chengyu Zhang - ECOOP 2020

Sun 15 - Tue 17 November 2020 Online Conference

co-located with SPLASH 2020

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

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

Using general profile