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

ECOOP 2022 Committee Member in Extended Review Committee within the Research Papers-track
Committee Member in Artifact Evaluation Committee within the Artifacts-track
SPLASH 2021 Author of Generative Type-Aware Mutation for Testing SMT Solvers within the OOPSLA-track
PLDI 2021 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
ECOOP 2021 Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
ISSTA 2021 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
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
PLDI 2020 Author of Validating SMT Solvers via Semantic Fusion within the PLDI Research Papers-track
SPLASH 2019 Author of Detecting Nondeterministic Payment Bugs in Ethereum Smart Contracts within the OOPSLA-track
ICSE 2020 Author of Stress Testing SMT Solvers via Type-aware Mutation within the ACM Student Research Competition-track
* ICSE 2018 * Author of SmartUnit: Empirical Evaluations for Automated Unit Testing of Embedded Software in Industry within the SEIP - Software Engineering in Practice-track