Work

Extracting Formal Specifications From Documents Using LLMS for Test Automation

Year: 2025

Type: conference-paper

Source: IEEE/ACM International Conference on Program Comprehension (ICPC)

DOI: 10.1109/icpc66645.2025.00039

Authors: Hui Li, Zhen Dong, Siao Wang, Hui Zhang, Liwei Shen, Xin Peng, Dongdong She

Institutions: Fudan University, Hong Kong University of Science and Technology

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4411359778

FWCI: 9.612

Cites: 42

Cited by: 12

Related to: 10