TY  - RPRT
TI  - Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications
AU  - Fanpeng Yang
AU  - Xu Ma
AU  - Shuling Wang
AU  - Xiong Xu
AU  - Qinxiang Cao
AU  - Naijun Zhan
AU  - Xiaofeng Li
AU  - Bin Gu
PY  - 2026
UR  - https://arxiv.org/abs/2506.09550
ID  - 2506.09550
ER  -