Follow
Chengyu Zhang
Chengyu Zhang
Department of Computer Science, ETH Zurich
Verified email at stu.ecnu.edu.cn - Homepage
Title
Cited by
Cited by
Year
Detecting nondeterministic payment bugs in Ethereum smart contracts
S Wang, C Zhang, Z Su
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019
722019
Validating SMT solvers via semantic fusion
D Winterer, C Zhang, Z Su
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
712020
On the unusual effectiveness of type-aware operator mutations for testing SMT solvers
D Winterer, C Zhang, Z Su
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-25, 2020
472020
Generative type-aware mutation for testing SMT solvers
J Park, D Winterer, C Zhang, Z Su
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-19, 2021
262021
Finding and understanding bugs in software model checkers
C Zhang, T Su, Y Yan, F Zhang, G Pu, Z Su
Proceedings of the 2019 27th ACM joint meeting on European software …, 2019
252019
Smartunit: Empirical evaluations for automated unit testing of embedded software in industry
C Zhang, Y Yan, H Zhou, Y Yao, K Wu, T Su, W Miao, G Pu
Proceedings of the 40th International Conference on Software Engineering …, 2018
172018
Reinforcement learning guided symbolic execution
J Wu, C Zhang, G Pu
2020 IEEE 27th International Conference on Software Analysis, Evolution and …, 2020
142020
Testing graph database engines via query partitioning
M Kamm, M Rigger, C Zhang, Z Su
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023
102023
Prompting for Automatic Log Template Extraction
J Xu, R Yang, Y Huo, C Zhang, P He
arXiv preprint arXiv:2307.09950, 2023
42023
DivLog: Log Parsing with Prompt Enhanced In-Context Learning
J Xu, R Yang, Y Huo, C Zhang, P He
2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE …, 2024
22024
Feedback-guided circuit structure mutation for testing hardware model checkers
C Zhang, M Sun, J Li, T Su, G Pu
2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD), 1-9, 2021
12021
Towards efficient data-flow test data generation
T Su, C Zhang, Y Yan, L Fan, G Pu, Y Liu, Z Fu, Z Su
arXiv preprint arXiv:1803.10431, 2018
12018
Towards Efficient Data-Flow Test Data Generation
T Su, C Zhang, Y Yan, L Fan, Y Liu, Z Fu, Z Su
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on …, 2023
2023
FuzzBtor2: A random generator of word-level model checking problems in Btor2 format
S Xiao, C Zhang, J Li, G Pu
International Conference on Tools and Algorithms for the Construction and …, 2023
2023
Stress testing SMT solvers via type-aware mutation
C Zhang
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–15