TY  - RPRT
TI  - When "Correct" Is Not Safe: Can We Trust Functionally Correct Patches Generated by Code Agents?
AU  - Yibo Peng
AU  - James Song
AU  - Lei Li
AU  - Xinyu Yang
AU  - Mihai Christodorescu
AU  - Ravi Mangal
AU  - Corina Pasareanu
AU  - Haizhong Zheng
AU  - Beidi Chen
PY  - 2025
UR  - https://arxiv.org/abs/2510.17862
ID  - 2510.17862
ER  -