Följ
Chengyu Zhang
Chengyu Zhang
Department of Computer Science, ETH Zurich
Verifierad e-postadress på stu.ecnu.edu.cn - Startsida
Titel
Citeras av
Citeras av
År
Validating SMT solvers via semantic fusion
D Winterer, C Zhang, Z Su
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
952020
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
862019
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
642020
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
352021
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
352019
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
222023
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
212024
Prompting for automatic log template extraction
J Xu, R Yang, Y Huo, C Zhang, P He
arXiv preprint arXiv:2307.09950, 2023
182023
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
182018
Reinforcement learning guided symbolic execution
J Wu, C Zhang, G Pu
2020 IEEE 27th International Conference on Software Analysis, Evolution and …, 2020
142020
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
Proceedings of the ACM on Software Engineering 1 (FSE), 1656-1678, 2024
42024
An electroencephalography study on cognitive load in visual and textual programming
S Thorgeirsson, C Zhang, TB Weidmann, KH Weidmann, Z Su
Proceedings of the 2024 ACM Conference on International Computing Education …, 2024
32024
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
32018
An empirical study of false negatives and positives of static code analyzers from the perspective of historical issues
H Cui, M Xie, T Su, C Zhang, SH Tan
arXiv preprint arXiv:2408.13855, 2024
12024
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
Stress testing SMT solvers via type-aware mutation
C Zhang
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
12020
Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs
W Deng, Q Mang, C Zhang, M Rigger
arXiv preprint arXiv:2410.12496, 2024
2024
SMT2Test: From SMT formulas to effective test cases
C Zhang, Z Su
Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 222-245, 2024
2024
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–19