3 citations · 3 across the 2 of their papers we have counts for
3 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.CR2025
LLM-Assisted Model-Based Fuzzing of Protocol Implementations
Changze Huang, Di Wang, Zhi Quan Zhou
Testing network protocol implementations is critical for ensuring the reliability, security, and interoperability of distributed systems. Faults in protocol behavior can lead to vu…
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…