11 papers
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…
From Chat to Interview: Agentic Requirements Elicitation with an Experience Ontology
Dongming Jin, Zhi Jin, Yaotian Yang +5
Requirements elicitation interviews are crucial and time-consuming in requirements engineering, but heavily rely on the experience of requirements analysts. Although recent advance…
ClarifySTL: An Interactive LLM Agent Framework for STL Transformation through Requirements Clarification
Yue Fang, Zhi Jin, Jie An +3
Signal Temporal Logic (STL) is a formal language for specifying real-time behaviors of cyber-physical systems (CPS). Automatically transforming natural language requirements into S…
ReqElicitGym: An Evaluation Environment for Interview Competence in Conversational Requirements Elicitation
Dongming Jin, Zhi Jin, Zheng Fang +4
With the rapid improvement of LLMs' coding capabilities, the bottleneck of LLM-based automated software development is shifting from generating correct code to eliciting users' req…
A Needle in a Haystack: Intent-driven Reusable Artifacts Recommendation with LLMs
Dongming Jin, Zhi Jin, Xiaohong Chen +6
In open source software development, the reuse of existing artifacts has been widely adopted to avoid redundant implementation work. Reusable artifacts are considered more efficien…
RESTL: Reinforcement Learning Guided by Multi-Aspect Rewards for Signal Temporal Logic Transformation
Yue Fang, Jin Zhi, Jie An +3
Signal Temporal Logic (STL) is a powerful formal language for specifying real-time specifications of Cyber-Physical Systems (CPS). Transforming specifications written in natural la…