Doctoral Degree in Engineering
博士研究生
Professor Supervisor of Master's Candidates
Translation or Not:no
Next One: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)(SCI)