Chengyu Zhang

27 papers A* 3A 3Journal 14Unranked 7
YearRankTypeTitle / Venue / Authors
2025 A* conf
Diagnosing Performance Differences in Model Checkers via Runtime-Guided Problem Generation.
ASE
Yibo Dong, Yicong Xu, Wenjing Deng, Yu Chen, Xiaoyu Zhang, Jianwen Li, Chengyu Zhang, Geguang Pu
2025 — conf
Revisiting the Combination of Static Analysis Error Traces and Dynamic Symbolic Execution: A Potential Approach for True Positive Confirmation (Registered Report).
ISSTA Companion
Yihua Xu, Chengyu Zhang, Geguang Pu
2025 J jnl
Validating Soundness and Completeness in Pattern-Match Coverage Analyzers.
Proc. ACM Program. Lang.
Cyril Moser, Thodoris Sotiropoulos, Chengyu Zhang, Zhendong Su
2024 — conf
An Electroencephalography Study on Cognitive Load in Visual and Textual Programming.
ICER (1)
Sverrir Thorgeirsson, Chengyu Zhang, Theo B. Weidmann, Karl-Heinz Weidmann, Zhendong Su
2024 J jnl
An Empirical Study of False Negatives and Positives of Static Code Analyzers From the Perspective of Historical Issues.
CoRR
Han Cui, Menglei Xie, Ting Su, Chengyu Zhang, Shin Hwei Tan
2024 A* conf
DivLog: Log Parsing with Prompt Enhanced In-Context Learning.
ICSE
Junjielong Xu, Ruichun Yang, Yintong Huo, Chengyu Zhang, Pinjia He
2024 J jnl
Finding Logic Bugs in Spatial Database Engines via
Proc. ACM Manag. Data
Wenjing Deng, Qiuyang Mang, Chengyu Zhang, Manuel Rigger
2024 J jnl
Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs.
CoRR
Wenjing Deng, Qiuyang Mang, Chengyu Zhang, Manuel Rigger
2024 J jnl
Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles.
Proc. ACM Softw. Eng.
Weigang He, Peng Di, Mengli Ming, Chengyu Zhang, Ting Su, Shijie Li, Yulei Sui
2024 J jnl
SMT2Test: From SMT Formulas to Effective Test Cases.
Proc. ACM Program. Lang.
Chengyu Zhang, Zhendong Su
2023 — conf
FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format.
TACAS (2)
Shengping Xiao, Chengyu Zhang, Jianwen Li, Geguang Pu
2023 J jnl
Prompting for Automatic Log Template Extraction.
CoRR
Junjielong Xu, Ruichun Yang, Yintong Huo, Chengyu Zhang, Pinjia He
2023 A conf
Testing Graph Database Engines via Query Partitioning.
ISSTA
Matteo Kamm, Manuel Rigger, Chengyu Zhang, Zhendong Su
2023 — conf
Towards Efficient Data-Flow Test Data Generation.
Theories of Programming and Formal Methods
Ting Su, Chengyu Zhang, Yichen Yan, Lingling Fan, Yang Liu, Zhoulai Fu, Zhendong Su
2021 A conf
Feedback-Guided Circuit Structure Mutation for Testing Hardware Model Checkers.
ICCAD
Chengyu Zhang, Minquan Sun, Jianwen Li, Ting Su, Geguang Pu
2021 J jnl
Generative type-aware mutation for testing SMT solvers.
Proc. ACM Program. Lang.
Jiwon Park, Dominik Winterer, Chengyu Zhang, Zhendong Su
2020 J jnl
On the Unusual Effectiveness of Type-aware Mutations for Testing SMT Solvers.
CoRR
Dominik Winterer, Chengyu Zhang, Zhendong Su
2020 J jnl
On the unusual effectiveness of type-aware operator mutations for testing SMT solvers.
Proc. ACM Program. Lang.
Dominik Winterer, Chengyu Zhang, Zhendong Su
2020 A conf
Reinforcement Learning Guided Symbolic Execution.
SANER
Jie Wu, Chengyu Zhang, Geguang Pu
2020 — conf
Stress testing SMT solvers via type-aware mutation.
ICSE (Companion Volume)
Chengyu Zhang
2020 A* conf
Validating SMT solvers via semantic fusion.
PLDI
Dominik Winterer, Chengyu Zhang, Zhendong Su
2019 J jnl
Detecting nondeterministic payment bugs in Ethereum smart contracts.
Proc. ACM Program. Lang.
Shuai Wang, Chengyu Zhang, Zhendong Su
2019 — conf
Finding and understanding bugs in software model checkers.
ESEC/SIGSOFT FSE
Chengyu Zhang, Ting Su, Yichen Yan, Fuyuan Zhang, Geguang Pu, Zhendong Su
2018 J jnl
SmartUnit: Empirical Evaluations for Automated Unit Testing of Embedded Software in Industry.
CoRR
Chengyu Zhang, Yichen Yan, Hanru Zhou, Yinbo Yao, Ke Wu, Ting Su, Weikai Miao, Geguang Pu
2018 — conf
Smartunit: empirical evaluations for automated unit testing of embedded software in industry.
ICSE (SEIP)
Chengyu Zhang, Yichen Yan, Hanru Zhou, Yinbo Yao, Ke Wu, Ting Su, Weikai Miao, Geguang Pu
2018 J jnl
Towards Efficient Data-flow Test Data Generation Using KLEE.
CoRR
Chengyu Zhang, Ting Su, Yichen Yan, Ke Wu, Geguang Pu
2018 J jnl
Towards Efficient Data-flow Test Data Generation.
CoRR
Ting Su, Chengyu Zhang, Yichen Yan, Lingling Fan, Geguang Pu, Yang Liu, Zhoulai Fu, Zhendong Su