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:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
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