SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
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

SPLASH 2021 Generative Type-Aware Mutation for Testing SMT Solvers
Generative Type-Aware Mutation for Testing SMT Solvers
Show activities from other conferences

Using general profile