@misc{indiciae6985effd9999,
  title = {Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications},
  author = {Fanpeng Yang and Xu Ma and Shuling Wang and Xiong Xu and Qinxiang Cao and Naijun Zhan and Xiaofeng Li and Bin Gu},
  year = {2026},
  url = {https://arxiv.org/abs/2506.09550},
  note = {Source identifier: 2506.09550}
}