Haibo Li, Lixiao Zheng, Enhancing Requirements via Structured Formalization and Process-State Consistency Validation: An LLM-Assisted Test-Driven Framework. IET Software, 2025, Volume 2025, Article ID 6714956, https://doi.org/10.1049/sfw2/6714956. (CCF B)
>>
>>
