TY  - RPRT
TI  - Extracting Formal Specifications from Documents Using LLMs for Automated Testing
AU  - Hui Li
AU  - Zhen Dong
AU  - Siao Wang
AU  - Hui Zhang
AU  - Liwei Shen
AU  - Xin Peng
AU  - Dongdong She
PY  - 2025
UR  - https://arxiv.org/abs/2504.01294
ID  - 2504.01294
ER  -