Chengyu Zhang

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


According to our database1, Chengyu Zhang authored at least 15 papers between 2018 and 2023.

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

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...