When "Correct" Is Not Safe: Can We Trust Functionally Correct Patches Generated by Code Agents?
Abstract
Yibo Peng, James Song, Lei Li, Xinyu Yang, Mihai Christodorescu, Ravi Mangal, Corina S. Pasareanu, Haizhong Zheng, Beidi Chen. Proceedings of the 64th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers). 2026.
Fields of Study & Subjects
Software Testing and Debugging Techniques
Web Application Security Vulnerabilities
Security and Verification in Computing
Publication details
- Pages
- 15514–15546
- Publication date
- 1 January 2026