TY  - RPRT
TI  - A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
AU  - Zhongyi Wang
AU  - Tengjie Lin
AU  - Mingshuai Chen
AU  - Haokun Li
AU  - Mingqi Yang
AU  - Xiao Yi
AU  - Shengchao Qin
AU  - Yixing Luo
AU  - Xiaofeng Li
AU  - Bin Gu
AU  - Liqiang Lu
AU  - Jianwei Yin
PY  - 2026
DO  - 10.1145/3798268
UR  - https://arxiv.org/abs/2512.24594
ID  - 2512.24594
ER  -