Smartunit: empirical evaluations for automated unit testing of embedded software in industry. - Chengyu Zhang 001; Yichen Yan; Hanru Zhou; Yinbo Yao; Ke Wu; Ting Su 001; Weikai Miao; Geguang Pu (ICSE (SEIP), 2018)

Towards Efficient Data-flow Test Data Generation Using KLEE. - Chengyu Zhang 001; Ting Su 001; Yichen Yan; Ke Wu; Geguang Pu (CoRR, 2018)

Towards Efficient Data-flow Test Data Generation. - Ting Su 001; Chengyu Zhang 001; Yichen Yan; Lingling Fan 003; Geguang Pu; Yang Liu 003; Zhoulai Fu; Zhendong Su 001 (CoRR, 2018)

Finding and understanding bugs in software model checkers. - Chengyu Zhang 001; Ting Su 001; Yichen Yan; Fuyuan Zhang; Geguang Pu; Zhendong Su 001 (ESEC/SIGSOFT FSE, 2019)

Detecting nondeterministic payment bugs in Ethereum smart contracts. - Shuai Wang 011; Chengyu Zhang 001; Zhendong Su 001 (Proc. ACM Program. Lang., 2019)

Stress testing SMT solvers via type-aware mutation. - Chengyu Zhang 001 (ICSE (Companion Volume), 2020)

Validating SMT solvers via semantic fusion. - Dominik Winterer; Chengyu Zhang 001; Zhendong Su 001 (PLDI, 2020)

Reinforcement Learning Guided Symbolic Execution. - Jie Wu; Chengyu Zhang 001; Geguang Pu (SANER, 2020)

On the Unusual Effectiveness of Type-aware Mutations for Testing SMT Solvers. - Dominik Winterer; Chengyu Zhang 001; Zhendong Su 001 (CoRR, 2020)

On the unusual effectiveness of type-aware operator mutations for testing SMT solvers. - Dominik Winterer; Chengyu Zhang 001; Zhendong Su 001 (Proc. ACM Program. Lang., 2020)

Feedback-Guided Circuit Structure Mutation for Testing Hardware Model Checkers. - Chengyu Zhang 001; Minquan Sun; Jianwen Li; Ting Su 001; Geguang Pu (ICCAD, 2021)

Generative type-aware mutation for testing SMT solvers. - Jiwon Park; Dominik Winterer; Chengyu Zhang 001; Zhendong Su 001 (Proc. ACM Program. Lang., 2021)

Towards Efficient Data-Flow Test Data Generation. - Ting Su 001; Chengyu Zhang 001; Yichen Yan; Lingling Fan 003; Yang Liu 003; Zhoulai Fu; Zhendong Su 001 (Theories of Programming and Formal Methods, 2023)

Testing Graph Database Engines via Query Partitioning. - Matteo Kamm; Manuel Rigger; Chengyu Zhang 001; Zhendong Su 001 (ISSTA, 2023)

FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format. - Shengping Xiao; Chengyu Zhang 001; Jianwen Li; Geguang Pu (TACAS (2), 2023)

Prompting for Automatic Log Template Extraction. - Junjielong Xu; Ruichun Yang; Yintong Huo; Chengyu Zhang 001; Pinjia He (CoRR, 2023)

Testing Graph Database Engines via Query Partitioning. - Matteo Kamm; Manuel Rigger; Chengyu Zhang 001; Zhendong Su 001 (Zenodo, 2023)

An Electroencephalography Study on Cognitive Load in Visual and Textual Programming. - Sverrir Thorgeirsson; Chengyu Zhang 001; Theo B. Weidmann; Karl-Heinz Weidmann; Zhendong Su 001 (ICER (1), 2024)

DivLog: Log Parsing with Prompt Enhanced In-Context Learning. - Junjielong Xu; Ruichun Yang; Yintong Huo; Chengyu Zhang 001; Pinjia He (ICSE, 2024)

An Empirical Study of False Negatives and Positives of Static Code Analyzers From the Perspective of Historical Issues. - Han Cui; Menglei Xie; Ting Su 001; Chengyu Zhang 001; Shin Hwei Tan (CoRR, 2024)

Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs. - Wenjing Deng; Qiuyang Mang; Chengyu Zhang 001; Manuel Rigger (CoRR, 2024)

SMT2Test: From SMT Formulas to Effective Test Cases. - Chengyu Zhang 001; Zhendong Su 001 (Proc. ACM Program. Lang., 2024)

Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles. - Weigang He; Peng Di; Mengli Ming; Chengyu Zhang 001; Ting Su 001; Shijie Li; Yulei Sui (Proc. ACM Softw. Eng., 2024)

Artifact: SMT2Test: From SMT Formulas to Effective Test Cases. - Chengyu Zhang 001; Zhendong Su 001 (Zenodo, 2024)

Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs. - Wenjing Deng; Qiuyang Mang; Chengyu Zhang 001; Manuel Rigger (Proc. ACM Manag. Data, 2024)

Revisiting the Combination of Static Analysis Error Traces and Dynamic Symbolic Execution: A Potential Approach for True Positive Confirmation (Registered Report). - Yihua Xu; Chengyu Zhang 001; Geguang Pu (ISSTA Companion, 2025)