TY  - RPRT
TI  - From Reading Code to Reading Spec: A Verified Layer for LLM-Driven Codebase Maintenance
AU  - Xinhao Zhang
AU  - Jingjie Lu
AU  - Kunpeng Liu
AU  - Fei Xie
PY  - 2026
UR  - https://arxiv.org/abs/2609.06383
ID  - 2609.06383
ER  -