2 papers
cs.SE2026
LLM-Based Static Verification of Code Against Natural-Language Requirements: An Industrial Experience Report
Zhi Quan Zhou, Dave Towey, Tsong Yueh Chen
Large language models (LLMs) are increasingly used to generate requirements specifications, design documents, code, and test cases. In contrast, much less attention has been given…
cs.SE2026
Bidirectional Empowerment of Metamorphic Testing and Large Language Models: A Systematic Survey
Zheng Zheng, Zenghui Zhou, Yinwang Xu +2
Large language models (LLMs) have introduced substantial challenges to software quality assurance due to their generative, probabilistic, and open-ended nature, which intensifies t…