TY  - RPRT
TI  - Enhancing LLM-based Specification Generation via Program Slicing and Logical Deletion
AU  - Zehan Chen
AU  - Long Zhang
AU  - Zhiwei Zhang
AU  - JingJing Zhang
AU  - Ruoyu Zhou
AU  - Yulong Shen
AU  - JianFeng Ma
AU  - Lin Yang
PY  - 2026
UR  - https://arxiv.org/abs/2509.09917
ID  - 2509.09917
ER  -