@misc{indiciae6b5fd67ce23d,
  title = {A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs},
  author = {Zhongyi Wang and Tengjie Lin and Mingshuai Chen and Haokun Li and Mingqi Yang and Xiao Yi and Shengchao Qin and Yixing Luo and Xiaofeng Li and Bin Gu and Liqiang Lu and Jianwei Yin},
  year = {2026},
  doi = {10.1145/3798268},
  url = {https://arxiv.org/abs/2512.24594},
  note = {Source identifier: 2512.24594}
}