华侨大学 LHB--Home-- Haibo Li, Lixiao Zheng, Enhancing Requirements via Structured Formalization and Process-State Consistency Validation: An LLM-Assisted Test-Driven Framework. IET Software, 2026. accepted. (CCF B)

+

Doctoral Degree in Engineering

博士研究生

Recommended MA Supervisor

Personal Information

Professor Supervisor of Master's Candidates

Gender:Male

Education Level:博士研究生

Degree:Doctoral Degree in Engineering

Date of Employment:2009-07-08

E-Mail:

Status:在岗

Discipline:Software Engineering

VIEW MORE

Home > Scientific Research > Paper Publications

Haibo Li, Lixiao Zheng, Enhancing Requirements via Structured Formalization and Process-State Consistency Validation: An LLM-Assisted Test-Driven Framework. IET Software, 2026. accepted. (CCF B)

Release time:2025-11-25 Hits:

Translation or Not:no

Next One:李海波,蔡其航,郑黎晓,等.大语言模型赋能的用户参与式产品功能拓扑生成方法[J/OL].计算机集成制造系统,1-24. https://doi.org/10.13196/j.cims.2024.Z23, 2026.1