Journal Articles
Cui, H, Liang, J, Xie, M, Peng, J, Su, T,
Zhang, C, Tan, SH (2026)
An Empirical Study of False Negatives and Positives of Static Code Analyzers From the Perspective of Historical Issues,
ACM Transactions on Software Engineering and Methodology, 3849701, ISSN: 1049-331X. DOI:
10.1145/3849701.
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 Tan, SH and Khomh, F (ed)
FSE Companion '26: 34th ACM International Conference on the Foundations of Software Engineering; FSE Companion '26: Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering, Montreal QC, Canada, pp.892-902, ISBN: 9798400726361. 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.
