Extracting Formal Specifications from Documents Using LLMs for Automated Testing

Hui Li, Zhen Dong, Siao Wang +4

Automated testing plays a crucial role in ensuring software security. It heavily relies on formal specifications to validate the correctness of the system behavior. However, the ma…