| Validating SMT solvers via semantic fusion D Winterer, C Zhang, Z Su Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 91 | 2020 |
| 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 | 81 | 2019 |
| 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 | 62 | 2020 |
| 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 | 34 | 2021 |
| 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 | 33 | 2019 |
| 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 | 20 | 2023 |
| 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 | 18 | 2018 |
| 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 | 17 | 2024 |
| Prompting for automatic log template extraction J Xu, R Yang, Y Huo, C Zhang, P He arXiv preprint arXiv:2307.09950, 2023 | 15 | 2023 |
| Reinforcement learning guided symbolic execution J Wu, C Zhang, G Pu 2020 IEEE 27th International Conference on Software Analysis, Evolution and …, 2020 | 14 | 2020 |
| 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 | 2 | 2024 |
| 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 | 2 | 2018 |
| 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 | 1 | 2021 |
| Stress testing SMT solvers via type-aware mutation C Zhang Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 1 | 2020 |
| 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 |
| 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 | | 2024 |
| 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 | | 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 |
Zhendong SuProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
