3 citations · 3 across the 3 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
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.SE2024★ 3 cited
Metamorphic Relation Generation: State of the Art and Visions for Future Research
Rui Li, Huai Liu, Pak-Lok Poon +5
Metamorphic testing has become one mainstream technique to address the notorious oracle problem in software testing, thanks to its great successes in revealing real-life bugs in a…