2 citations · 2 across the 1 of their papers we have counts for
3 papers
Requirements-driven Slicing of Simulink Models Using LLMs
Dipeeka Luitel, Shiva Nejati, Mehrdad Sabetzadeh
Model slicing is a useful technique for identifying a subset of a larger model that is relevant to fulfilling a given requirement. Notable applications of slicing include reducing…
Improving Requirements Completeness: Automated Assistance through Large Language Models
Dipeeka Luitel, Shabnam Hassani, Mehrdad Sabetzadeh
Natural language (NL) is arguably the most prevalent medium for expressing systems and software requirements. Detecting incompleteness in NL requirements is a major challenge. One…
Using Language Models for Enhancing the Completeness of Natural-language Requirements
Dipeeka Luitel, Shabnam Hassani, Mehrdad Sabetzadeh
[Context and motivation] Incompleteness in natural-language requirements is a challenging problem. [Question/problem] A common technique for detecting incompleteness in requirement…