Yang, Chenyuan

Large Language Models Are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models

Deng, Y., Xia, C. S., Peng, H., Yang, C., & Zhang, L. (2023) · Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis

Software Testing and Debugging TechniquesSoftware Engineering Research

Cited by 326

Free lunch for testing: fuzzing deep-learning libraries from open source

Wei, A., Deng, Y., Yang, C., & Zhang, L. (2022) · Proceedings of the 44th International Conference on Software Engineering

Software Testing and Debugging TechniquesSoftware Engineering Research

Cited by 106

Fuzzing deep-learning libraries via automated relational API inference

Deng, Y., Yang, C., Wei, A., & Zhang, L. (2022) · Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering

Software Testing and Debugging TechniquesSoftware Engineering Research

Cited by 86

AutoVerus: Automated Proof Generation for Rust Code

Yang, C., Li, X., Misu, M. R. H., Yao, J., Cui, W., Gong, Y., Hawblitzel, C., Lahiri, S., Lorch, J. R., Lu, S., et al. (2024) · arXiv

Logic, programming, and type systemsSoftware Testing and Debugging Techniques

Cited by 20

AutoVerus: Automated Proof Generation for Rust Code

Yang, C., Li, X., Misu, M. R. H., Yao, J., Cui, W., Gong, Y., Hawblitzel, C., Lahiri, S., Lorch, J. R., Lu, S., et al. (2025) · Proceedings of the ACM on Programming Languages

Logic, programming, and type systemsSoftware Testing and Debugging Techniques

Cited by 20

Automated Proof Generation for Rust Code via Self-Evolution

Chen, T., Lu, S., Lu, S., Gong, Y., Yang, C., Li, X., Misu, M. R. H., Yu, H., Duan, N., Cheng, P., et al. (2024) · arXiv

Logic, programming, and type systemsSoftware Testing and Debugging Techniques

Cited by 1