14 papers
Synthesizing Behavioural Models of CPS Using Automata Learning and Statistical Machine Learning
Negin Ayoughi, Baharin A. Jodat, Armina Faghihi +3
Inferring behavioural models from system executions is essential for supporting formal verification and analysis of complex, heterogeneous cyber-physical systems (CPS). Automata le…
Question Answering for Diagram-Rich Technical Meeting Videos
Zhuoran Xu, Jia Li, Dayuan Tan +5
Software engineering increasingly relies on asynchronous communication artifacts, including recorded meetings where stakeholders discuss concerns, rationale, and decisions. These m…
The Impact of Critique on LLM-Based Model Generation from Natural Language: The Case of Activity Diagrams
Parham Khamsepour, Mark Cole, Ish Ashraf +4
Large Language Models (LLMs) show strong potential for automating model generation from natural-language descriptions. A common approach begins with an initial model generation, fo…
LLM-Based Discovery of Latent Requirements from Stakeholder Conversations: Preliminary Results from Industry
Mithila Sivakumar, Martin Lochner, Shiva Nejati +1
Stakeholder interviews are an important source of information for requirements elicitation, yet many relevant requirements remain implicit in such conversations. Stakeholders frequ…
Agentic Persona Generation with Critique-Refinement: An Industrial Evaluation
Mohammad Hossein Amini, David Dewar, Shiva Nejati +1
Personas are widely used in software engineering to support requirements elicitation, design, and validation, but their manual creation is costly, time-consuming, and hard to scale…
Genetic Programming for Self-Adaptive Auto-Scaling of Microservices
Jia Li, Mehrdad Sabetzadeh, Shiva Nejati
Microservice architecture is widely adopted in modern systems, where auto-scaling is critical for satisfying service-level objectives (SLOs). However, determining optimal scaling f…