Chengyu Zhang
Orcid: 0000-0002-7285-289XAffiliations:
- 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:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles.
Proc. ACM Softw. Eng., 2024
CoRR, 2024
An Empirical Study of False Negatives and Positives of Static Code Analyzers From the Perspective of Historical Issues.
CoRR, 2024
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024
Proceedings of the 2024 ACM Conference on International Computing Education Research, 2024
2023
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023
Proceedings of the Theories of Programming and Formal Methods, 2023
2021
Proc. ACM Program. Lang., 2021
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
CoRR, 2020
Proceedings of the 27th IEEE International Conference on Software Analysis, 2020
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020
2019
Proc. ACM Program. Lang., 2019
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019
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