Li, H., Zheng, L., Cai, Q. A Test-Driven Approach for Refining Use Case Specifications of Software Requirements with LLMs. Lecture Notes in Computer Science, vol 16229. Springer, Singapore, Formal Methods and Software Engineering: 26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10–13, 2025, Proceedings Pages 189 - 208 https://doi-org-s.atrust.hqu.edu.cn:9443/10.10（CCF C）