@misc{indiciae1bd39c78a943,
  title = {Enhancing LLM-based Specification Generation via Program Slicing and Logical Deletion},
  author = {Zehan Chen and Long Zhang and Zhiwei Zhang and JingJing Zhang and Ruoyu Zhou and Yulong Shen and JianFeng Ma and Lin Yang},
  year = {2026},
  url = {https://arxiv.org/abs/2509.09917},
  note = {Source identifier: 2509.09917}
}