Folgen
Chengyu Zhang
Chengyu Zhang
Department of Computer Science, ETH Zurich
Bestätigte E-Mail-Adresse bei stu.ecnu.edu.cn - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
762019
Validating SMT solvers via semantic fusion
D Winterer, C Zhang, Z Su
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
742020
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
512020
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
272021
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
272019
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
122023
DivLog: Log Parsing with Prompt Enhanced In-Context Learning
J Xu, R Yang, Y Huo, C Zhang, P He
Proceedings of the IEEE/ACM 46th International Conference on Software …, 2024
72024
Prompting for Automatic Log Template Extraction
J Xu, R Yang, Y Huo, C Zhang, P He
arXiv preprint arXiv:2307.09950, 2023
52023
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
Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles
W HE, P DI, M MING, C ZHANG, T SU, S LI, Y SUI
2024
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–16