Chengyu Zhang

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 18

Top Topics

Symbolic Execution

Test Data Generation

Proximity Graph

Top Venues

Proc. ACM Program. Lang.

Theories of Programming and Formal Methods

Publications

Weigang He, Peng Di, Mengli Ming, Chengyu Zhang, Ting Su, Shijie Li, Yulei Sui
Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Junjielong Xu, Ruichun Yang, Yintong Huo, Chengyu Zhang, Pinjia He
DivLog: Log Parsing with Prompt Enhanced In-Context Learning. ICSE (2024)
Sverrir Thorgeirsson, Chengyu Zhang, Theo B. Weidmann, Karl-Heinz Weidmann, Zhendong Su
An Electroencephalography Study on Cognitive Load in Visual and Textual Programming. ICER (1) (2024)
Matteo Kamm, Manuel Rigger, Chengyu Zhang, Zhendong Su
Testing Graph Database Engines via Query Partitioning. ISSTA (2023)
Ting Su, Chengyu Zhang, Yichen Yan, Lingling Fan, Yang Liu, Zhoulai Fu, Zhendong Su
Towards Efficient Data-Flow Test Data Generation. Theories of Programming and Formal Methods (2023)
Jiwon Park, Dominik Winterer, Chengyu Zhang, Zhendong Su
Generative type-aware mutation for testing SMT solvers. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Chengyu Zhang, Minquan Sun, Jianwen Li, Ting Su, Geguang Pu
Feedback-Guided Circuit Structure Mutation for Testing Hardware Model Checkers. ICCAD (2021)
Dominik Winterer, Chengyu Zhang, Zhendong Su
On the unusual effectiveness of type-aware operator mutations for testing SMT solvers. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Chengyu Zhang
Stress testing SMT solvers via type-aware mutation. ICSE (Companion Volume) (2020)
Jie Wu, Chengyu Zhang, Geguang Pu
Reinforcement Learning Guided Symbolic Execution. SANER (2020)
Dominik Winterer, Chengyu Zhang, Zhendong Su
Validating SMT solvers via semantic fusion. PLDI (2020)
Dominik Winterer, Chengyu Zhang, Zhendong Su
On the Unusual Effectiveness of Type-aware Mutations for Testing SMT Solvers. CoRR (2020)
Shuai Wang, Chengyu Zhang, Zhendong Su
Detecting nondeterministic payment bugs in Ethereum smart contracts. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Chengyu Zhang, Ting Su, Yichen Yan, Fuyuan Zhang, Geguang Pu, Zhendong Su
Finding and understanding bugs in software model checkers. ESEC/SIGSOFT FSE (2019)
Ting Su, Chengyu Zhang, Yichen Yan, Lingling Fan, Geguang Pu, Yang Liu, Zhoulai Fu, Zhendong Su
Towards Efficient Data-flow Test Data Generation. CoRR (2018)
Chengyu Zhang, Yichen Yan, Hanru Zhou, Yinbo Yao, Ke Wu, Ting Su, Weikai Miao, Geguang Pu
SmartUnit: Empirical Evaluations for Automated Unit Testing of Embedded Software in Industry. CoRR (2018)
Chengyu Zhang, Ting Su, Yichen Yan, Ke Wu, Geguang Pu
Towards Efficient Data-flow Test Data Generation Using KLEE. CoRR (2018)
Chengyu Zhang, Yichen Yan, Hanru Zhou, Yinbo Yao, Ke Wu, Ting Su, Weikai Miao, Geguang Pu
Smartunit: empirical evaluations for automated unit testing of embedded software in industry. ICSE (SEIP) (2018)