Chengyu Zhang

Orcid: 0000-0002-7285-289X

Affiliations:
  • ETH Zurich, Switzerland
  • East China Normal University, Shanghai, China


According to our database1, Chengyu Zhang authored at least 23 papers between 2018 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles.
Proc. ACM Softw. Eng., 2024

SMT2Test: From SMT Formulas to Effective Test Cases.
Proc. ACM Program. Lang., 2024

Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs.
CoRR, 2024

An Empirical Study of False Negatives and Positives of Static Code Analyzers From the Perspective of Historical Issues.
CoRR, 2024

DivLog: Log Parsing with Prompt Enhanced In-Context Learning.
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

An Electroencephalography Study on Cognitive Load in Visual and Textual Programming.
Proceedings of the 2024 ACM Conference on International Computing Education Research, 2024

2023
Testing Graph Database Engines via Query Partitioning.
Dataset, May, 2023

Prompting for Automatic Log Template Extraction.
CoRR, 2023

FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Testing Graph Database Engines via Query Partitioning.
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Towards Efficient Data-Flow Test Data Generation.
Proceedings of the Theories of Programming and Formal Methods, 2023

2021
Generative type-aware mutation for testing SMT solvers.
Proc. ACM Program. Lang., 2021

Feedback-Guided Circuit Structure Mutation for Testing Hardware Model Checkers.
Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2021

2020
On the unusual effectiveness of type-aware operator mutations for testing SMT solvers.
Proc. ACM Program. Lang., 2020

On the Unusual Effectiveness of Type-aware Mutations for Testing SMT Solvers.
CoRR, 2020

Reinforcement Learning Guided Symbolic Execution.
Proceedings of the 27th IEEE International Conference on Software Analysis, 2020

Validating SMT solvers via semantic fusion.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Stress testing SMT solvers via type-aware mutation.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

2019
Detecting nondeterministic payment bugs in Ethereum smart contracts.
Proc. ACM Program. Lang., 2019

Finding and understanding bugs in software model checkers.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

2018
Towards Efficient Data-flow Test Data Generation.
CoRR, 2018

Towards Efficient Data-flow Test Data Generation Using KLEE.
CoRR, 2018

Smartunit: empirical evaluations for automated unit testing of embedded software in industry.
Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice, 2018


  Loading...