57 citations · 116 across the 31 of their papers we have counts for
7 papers · 1 filter
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…
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…
Question Answering for Multi-Release Systems: A Case Study at Ciena
Parham Khamsepour, Mark Cole, Ish Ashraf +3
Companies regularly have to contend with multi-release systems, where several versions of the same software are in operation simultaneously. Question answering over documents from…
DSL or Code? Evaluating the Quality of LLM-Generated Algebraic Specifications: A Case Study in Optimization at Kinaxis
Negin Ayoughi, David Dewar, Shiva Nejati +1
Model-driven engineering (MDE) provides abstraction and analytical rigour, but industrial adoption in many domains has been limited by the cost of developing and maintaining models…