@misc{indiciae6636ebcf54da,
  title = {Extracting Formal Specifications from Documents Using LLMs for Automated Testing},
  author = {Hui Li and Zhen Dong and Siao Wang and Hui Zhang and Liwei Shen and Xin Peng and Dongdong She},
  year = {2025},
  url = {https://arxiv.org/abs/2504.01294},
  note = {Source identifier: 2504.01294}
}