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
| PLDI 2020 | Author of Validating SMT Solvers via Semantic Fusion within the PLDI Research Papers-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile