2 papers
cs.SE2026
Exploring and Complementing End Users' Requirements in IoT enabled System
Haotian Li, Xiaohong Chen, Zhi Jin +4
End users create IoT automation rules via trigger action programming, but their expressions are often fragmented, capturing device operations rather than high level intents. This g…
cs.SE2026
Explicating Tacit Regulatory Knowledge from LLMs to Auto-Formalize Requirements for Compliance Test Case Generation
Zhiyi Xue, Xiaohong Chen, Min Zhang
Compliance testing in highly regulated domains is crucial but largely manual, requiring domain experts to translate complex regulations into executable test cases. While large lang…