Journal Articles
Yuan, S, Luo, N, Sun, J, Huang, Y,
Zhang, C (2026)
Red teaming LLMs via linguistic-aware fuzzing,
Proceedings of the ACM on Software Engineering, 3(FSE), pp.4482-4504, DOI:
10.1145/3808204.
Moser, CF, Sotiropoulos, T,
Zhang, C, Su, Z (2025)
Validating soundness and completeness in pattern-match coverage analyzers,
Proceedings of the ACM on Programming Languages, 9(OOPSLA2), pp.3371-3397, DOI:
10.1145/3763171.
Deng, W, Mang, Q,
Zhang, C, Rigger, M (2024)
Finding logic bugs in Spatial Database Engines via Affine Equivalent Inputs,
Proceedings of the ACM on Management of Data, 2(6), pp.1-26, DOI:
10.1145/3698810.
Zhang, C and Su, Z (2024)
SMT2Test: from SMT formulas to effective test cases,
Proceedings of the ACM on Programming Languages, 8(OOPSLA2), pp.222-245, DOI:
10.1145/3689719.
He, W, Di, P, Ming, M,
Zhang, C, Su, T, Li, S, Sui, Y (2024)
Finding and understanding defects in static analyzers by constructing automated oracles,
Proceedings of the ACM on Software Engineering, 1(FSE), pp.1656-1678, DOI:
10.1145/3660781.
Park, J, Winterer, D,
Zhang, C, Su, Z (2021)
Generative type-aware mutation for testing SMT solvers,
Proceedings of the ACM on Programming Languages, 5(OOPSLA), pp.1-19, DOI:
10.1145/3485529.
Winterer, D,
Zhang, C, Su, Z (2020)
On the unusual effectiveness of type-aware operator mutations for testing SMT solvers,
Proceedings of the ACM on Programming Languages, 4(OOPSLA), pp.1-25, DOI:
10.1145/3428261.
Wang, S,
Zhang, C, Su, Z (2019)
Detecting nondeterministic payment bugs in Ethereum smart contracts,
Proceedings of the ACM on Programming Languages, 3(OOPSLA), 189, DOI:
10.1145/3360615.
Conferences
Tu, Y, Zhou, Z, Xu, C, Sun, J, Feng, S,
Zhang, C (2026)
Understanding and Mitigating Hallucinations in Industrial LLM-based Unit Test Generation. In
FSE Companion '26: 34th ACM International Conference on the Foundations of Software Engineering, Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering, pp.892-902, DOI:
10.1145/3803437.3805260.
Dong, Y, Xu, Y, Deng, W, Chen, Y, Zhang, X, Li, J,
Zhang, C, Pu, G (2026)
Diagnosing performance differences in model checkers via runtime-guided problem generation. In
2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE); 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp.129-140, ISBN: 9798350357332. DOI:
10.1109/ase63991.2025.00019.
Xu, Y,
Zhang, C, Pu, G (2025)
Revisiting the combination of static analysis error traces and dynamic symbolic execution: A potential approach for true positive confirmation (registered report). In
ISSTA Companion '25: 34th ACM SIGSOFT International Symposium on Software Testing and Analysis; Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis, pp.124-132, ISBN: 9798400714740. DOI:
10.1145/3713081.3731720.
Thorgeirsson, S,
Zhang, C, Weidmann, TB, Weidmann, K-H, Su, Z (2024)
An electroencephalography study on cognitive load in visual and textual programming. In Denny, P, Porter, L, Hamilton, M (ed)
ICER 2024: ACM Conference on International Computing Education Research; Proceedings of the 2024 ACM Conference on International Computing Education Research - Volume 1, Melbourne, VIC, Australia, pp.280-292, ISBN: 9798400704758. DOI:
10.1145/3632620.3671124.
Xu, J, Yang, R, Huo, Y,
Zhang, C, He, P (2024)
DivLog: log parsing with prompt enhanced in-context learning. In
ICSE '24: IEEE/ACM 46th International Conference on Software Engineering; Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, Lisbon, Portugal, pp.1-12, ISBN: 9798400702174. DOI:
10.1145/3597503.3639155.
Kamm, M, Rigger, M,
Zhang, C, Su, Z (2023)
Testing Graph Database Engines via Query Partitioning. In
ISSTA '23: 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, pp.140-149, DOI:
10.1145/3597926.3598044.
Zhang, C, Sun, M, Li, J, Su, T, Pu, G (2021)
Feedback-guided circuit structure mutation for testing hardware model checkers. In
2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD); 2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD), Munich, Germany,ISBN: 9781665445078. DOI:
10.1109/iccad51958.2021.9643509.
Zhang, C (2020)
Stress testing SMT solvers via type-aware mutation. In
ICSE '20: 42nd International Conference on Software Engineering; Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Companion Proceedings, Seoul, South Korea, pp.119-121, ISBN: 9781450371223. DOI:
10.1145/3377812.3382166.
Winterer, D,
Zhang, C, Su, Z (2020)
Validating SMT solvers via semantic fusion. In
PLDI '20: 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation; Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, London, UK, pp.718-730, ISBN: 9781450376136. DOI:
10.1145/3385412.3385985.
Wu, J,
Zhang, C, Pu, G (2020)
Reinforcement learning guided symbolic execution. In
2020 IEEE 27th International Conference on Software Analysis, Evolution and Reengineering (SANER); 2020 IEEE 27th International Conference on Software Analysis, Evolution and Reengineering (SANER), London, ON, Canada, pp.662-663, ISBN: 9781728151434. DOI:
10.1109/saner48275.2020.9054815.
Zhang, C, Su, T, Yan, Y, Zhang, F, Pu, G, Su, Z (2019)
Finding and understanding bugs in software model checkers. In
ESEC/FSE '19: 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering; Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp.763-773, ISBN: 9781450355728. DOI:
10.1145/3338906.3338932.
Zhang, C, Yan, Y, Zhou, H, Yao, Y, Wu, K, Su, T, Miao, W, Pu, G (2018)
Smartunit: empirical evaluations for automated unit testing of embedded software in industry. In
ICSE '18: 40th International Conference on Software Engineering; Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice, pp.296-305, ISBN: 9781450356596. DOI:
10.1145/3183519.3183554.
