Chengyu Zhang

Chengyu Zhang

East China Normal University - Shanghai / China
Engineering & Technology / Computer Science
AD Scientific Index ID: 4567905
华东师范大学
person_outline Chengyu Zhang's MOST POPULAR ARTICLES
1-) Detecting nondeterministic payment bugs in Ethereum smart contracts Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019
2-) Validating SMT solvers via semantic fusion Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
3-) On the unusual effectiveness of type-aware operator mutations for testing SMT solvers Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-25, 2020
4-) Finding and understanding bugs in software model checkers Proceedings of the 2019 27th ACM joint meeting on European software …, 2019
5-) Generative type-aware mutation for testing SMT solvers Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-19, 2021