Get started
Author

Chengyu Zhang

Observed names: Chengyu Zhang (20877746), Zhang, Chengyu
ORCID: 0000-0002-7285-289X
Observed ORCID: 0000-0002-7285-289X
OpenAlex ID: A5100722691
Detecting nondeterministic payment bugs in Ethereum smart contracts
2019 · Shuai Wang, Chengyu Zhang, et al. · Proceedings of the ACM on Programming Languages · 85
PDF
Validating SMT solvers via semantic fusion
2020 · Dominik Winterer, Chengyu Zhang, et al. · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation · 82
DivLog: Log Parsing with Prompt Enhanced In-Context Learning
2024 · Junjielong Xu, Ruichun Yang, et al. · IEEE/ACM International Conference on Software Engineering (ICSE) · 76
PDF
On the unusual effectiveness of type-aware operator mutations for testing SMT solvers
2020 · Dominik Winterer, Chengyu Zhang, et al. · Proceedings of the ACM on Programming Languages · 56
PDF
Testing Graph Database Engines via Query Partitioning
2023 · Matteo Kamm, Manuel Rigger, et al. · ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) · 33
PDF
Generative type-aware mutation for testing SMT solvers
2021 · Jiwon Park, Dominik Winterer, et al. · Proceedings of the ACM on Programming Languages · 32
PDF
Finding and understanding bugs in software model checkers
2019 · Chengyu Zhang, Ting Su, et al. · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · 28
Smartunit
2018 · Chengyu Zhang, Yichen Yan, et al. · International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP) · 18
PDF
Reinforcement Learning Guided Symbolic Execution
2020 · Jie Wu, Chengyu Zhang, et al. · IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) · 14
Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles
2024 · Weigang He, Peng Di, et al. · Proceedings of the ACM on software engineering. · 10
Prompting for Automatic Log Template Extraction
2023 · Xu, Junjielong, Yang, Ruichun, et al. · arXiv (Cornell University) · 10
PDF
An Electroencephalography Study on Cognitive Load in Visual and Textual Programming
2024 · Sverrir Thorgeirsson, Chengyu Zhang, et al. · ACM Conference on International Computing Education Research (ICER) · 8
SMT2Test: From SMT Formulas to Effective Test Cases
2024 · Chengyu Zhang, Zhendong Su · Proceedings of the ACM on Programming Languages · 5
Towards Efficient Data-Flow Test Data Generation
2023 · Ting Su, Chengyu Zhang, et al. · Lecture notes in computer science · 5
PDF
Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs
2024 · Wenjing Deng, Qiuyang Mang, et al. · Proceedings of the ACM on Management of Data · 3
Feedback-Guided Circuit Structure Mutation for Testing Hardware Model Checkers
2021 · Chengyu Zhang, Minquan Sun, et al. · 3
An Empirical Study of False Negatives and Positives of Static Code Analyzers From the Perspective of Historical Issues
2026 · Han Cui, Jingjing Liang, et al. · ACM Transactions on Software Engineering and Methodology · 2
PDF
FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format
2023 · Shengping Xiao, Chengyu Zhang, et al. · Lecture notes in computer science · 2
PDF
Validating Soundness and Completeness in Pattern-Match Coverage Analyzers
2025 · Cyril Flurin Moser, Thodoris Sotiropoulos, et al. · Proceedings of the ACM on Programming Languages · 1
PDF
Revisiting the Combination of Static Analysis Error Traces and Dynamic Symbolic Execution: A Potential Approach for True Positive Confirmation (Registered Report)
2025 · Yihua Xu, Chengyu Zhang, et al. · ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) · 1
Cloud Load Balancing Algorithms Performance Evaluation Using a Unified Testing Platform
2024 · Bingyan Li, Weiliang Liu, et al. · 2012 International Conference on Computing, Networking and Communications (ICNC) · 1
Stress testing SMT solvers via type-aware mutation
2020 · Chengyu Zhang · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 1
On the Unusual Effectiveness of Type-aware Mutations for Testing SMT Solvers
2020 · Dominik Winterer, Chengyu Zhang, et al. · arXiv (Cornell University) · 1
Detecting nondeterministic payment bugs in Ethereum smart contracts
2019 · Wang, Shuai, Zhang, Chengyu, et al. · Repository for Publications and Research Data (ETH Zurich) · 1
Understanding and Mitigating Hallucinations in Industrial LLM-based Unit Test Generation
2026 · Yanlun Tu, Ziyue Zhou, et al.
Works count: 39
Citation count: 484
H-index: 10
I10-index: 11
Year
Topic
Type