| Large language models are zero-shot fuzzers: Fuzzing deep-learning libraries via large language models Y Deng, CS Xia, H Peng, C Yang, L Zhang Proceedings of the 32nd ACM SIGSOFT international symposium on software …, 2023 | 241 | 2023 |
| Large language models are edge-case generators: Crafting unusual programs for fuzzing deep learning libraries Y Deng, CS Xia, C Yang, SD Zhang, S Yang, L Zhang Proceedings of the 46th IEEE/ACM international conference on software …, 2024 | 151* | 2024 |
| Free lunch for testing: Fuzzing deep-learning libraries from open source A Wei, Y Deng, C Yang, L Zhang Proceedings of the 44th International Conference on Software Engineering …, 2022 | 93 | 2022 |
| Fuzzing deep-learning libraries via automated relational api inference Y Deng, C Yang, A Wei, L Zhang Proceedings of the 30th ACM Joint European Software Engineering Conference …, 2022 | 60 | 2022 |
| WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models C Yang, Y Deng, R Lu, J Yao, J Liu, R Jabbarvand, L Zhang Proc. ACM Program. Lang., Vol. 8, No. OOPSLA2, Article 296., 2024 | 32* | 2024 |
| Fuzzing Automatic Differentiation in Deep-Learning Libraries C Yang, Y Deng, J Yao, Y Tu, H Li, L Zhang 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE), 2023 | 32 | 2023 |
| Kernelgpt: Enhanced kernel fuzzing via large language models C Yang, Z Zhao, L Zhang arXiv preprint arXiv:2401.00563, 2023 | 21 | 2023 |
| Testeval: Benchmarking large language models for test case generation W Wang, C Yang, Z Wang, Y Huang, Z Chu, D Song, L Zhang, AR Chen, ... arXiv preprint arXiv:2406.04531, 2024 | 11 | 2024 |
| AutoVerus: Automated proof generation for Rust code C Yang, X Li, MRH Misu, J Yao, W Cui, Y Gong, C Hawblitzel, S Lahiri, ... arXiv preprint arXiv:2409.13082, 2024 | 3 | 2024 |
| Automated proof generation for rust code via self-evolution T Chen, S Lu, S Lu, Y Gong, C Yang, X Li, MRH Misu, H Yu, N Duan, ... arXiv preprint arXiv:2410.15756, 2024 | 2 | 2024 |
Lingming ZhangUniversity of Illinois at Urbana-ChampaignGeverifieerd e-mailadres voor illinois.edu