Aug 2026· 2026 IEEE 34th International Requirements Engineering Conference Workshops (REW)· pp. 44-53· 0 citations· 28 references
Abstract
As requirements are typically written in natural language, they may be well-suited to refactoring with large language models (LLMs). However, asking LLMs to improve requirements naively yields unsatisfactory results. While some quality issues in the requirements can be solved that way, new issues are introduced and LLM hallucinations add redundant or incorrect information. To overcome these challenges, we present an approach for semi-automated refactoring of requirements, supported by LLMs. Based on the INCOSE Guide to Writing Requirements, an industry standard, our tooling semi-automatically improves the requirements while preserving their original semantics. In cases of ambiguity or missing information, the human requirements engineer is automatically asked to provide the necessary details. We evaluate this approach for improving 75 requirements we had manually labelled as violating or not violating each of the INCOSE rules. The results show a 59% decrease in the mean number of violated INCOSE rules per requirement. Furthermore, we found no semantic changes in 92% of the refactored requirements generated by our system. By keeping the human in the loop, we can improve requirements while ensuring both minimal risk of hallucinations and maximal automation, at a reasonable cost.
Requirements specification is a pivotal activity in software development. The use of structured templates for specifying requirements can improve their clarity, consistency, and analyzability, which is particularly important in safety-critical domains such as avionics to support verification and certification activitie...
The results suggest that increasing \textit{smell density} was generally associated with lower test-suite-based functional correctness, although non-smelly requirements could still produce faulty code, and motivates further investigation into task-dependent quality effects in LLM-assisted software engineering.
Hugo Villamizar, Jannik Fischbach, Mert Şahin et al.· 0 citations
Requirements written in natural language frequently contain ambiguity, incompleteness, and statements that are difficult to validate consistently. This experience report presents a human-centered requirement-validation workflow built around a heterogeneous source corpus of 79 software requirements specification documen...
Awaiz Ahmed, Mohammad Umar· 2026 IEEE 34th International...· 0 citations
The adoption of large language models (LLMs) in software engineering has enabled the potential to automate complex activities such as requirements analysis. This paper presents an empirical performance analysis of four modern LLMs: GPT-4o, Aya, Gemma and Phi-4 on the task of automated classification of atomic software...
Nourchène Elleuch Ben Ayed, Jaber Jemai, Keletso J. Letsholo et al.· Journal of Information &...· 0 citations
This work proposes LLM-based methods for verifying semantically complex NL requirements on static GUI prototypes and introduces a multimodal LLM-based agent for verifying complex functional and non-functional requirements in dynamic GUI applications through automatically generated and evaluated interaction trajectories...
An LLM-based prototype designed to support the application of a documented rule catalog within GitLab merge requests is presented, which demonstrates the technical feasibility of integrating rule-based governance with LLM-supported contextual interpretation in a practical GitLab workflow.
Sehyang Na, D. Kostunin· TH Wildau Engineering and Na...· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.