:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Pasquale, Liliana, Ragone, Azzurra, Piemontese, Emanuele, Darban, Armin Amiri
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2507.19113
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

LLMs for Automated Unit Test Generation and Assessment in Java: The AgoneTest Framework
by: Lops, Andrea, et al.
Published: (2025)

POLARIS: A framework to guide the development of Trustworthy AI systems
by: Baldassarre, Maria Teresa, et al.
Published: (2024)

A System for Automated Unit Test Generation Using Large Language Models and Assessment of Generated Test Suites
by: Lops, Andrea, et al.
Published: (2024)

Trustworthy AI in practice: an analysis of practitioners' needs and challenges
by: Baldassarre, Maria Teresa, et al.
Published: (2024)

Exploring LLMs for Verifying Technical System Specifications Against Requirements
by: Reinpold, Lasse M., et al.
Published: (2024)

A Requirement-Based Framework for Engineering Adaptive Authentication
by: Hassan, Alzubair, et al.
Published: (2026)

From Specifications to Prompts: On the Future of Generative LLMs in Requirements Engineering
by: Vogelsang, Andreas
Published: (2024)

Characterizing Requirements Smells
by: Gentili, Emanuele, et al.
Published: (2024)

Adopting Use Case Descriptions for Requirements Specification: an Industrial Case Study
by: Frattini, Julian, et al.
Published: (2025)

Using LLMs in Software Requirements Specifications: An Empirical Evaluation
by: Krishna, Madhava, et al.
Published: (2024)

Can LLMs Generate User Stories and Assess Their Quality?
by: Quattrocchi, Giovanni, et al.
Published: (2025)

APITestGenie: Generating Web API Tests from Requirements and API Specifications with LLMs
by: Pereira, André, et al.
Published: (2026)

Generative AI Adoption in an Energy Company: Exploring Challenges and Use Cases
by: Sami, Malik Abdul, et al.
Published: (2026)

Requirements are All You Need: From Requirements to Code with LLMs
by: Wei, Bingyang
Published: (2024)

Exploring Individual Factors in the Adoption of LLMs for Specific Software Engineering Purposes
by: Lambiase, Stefano, et al.
Published: (2025)

Quality Requirements for Code: On the Untapped Potential in Maintainability Specifications
by: Borg, Markus
Published: (2024)

Bridging Natural Language and Formal Specification--Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs
by: Ma, Zhi, et al.
Published: (2025)

Generating Project-Specific Test Cases with Requirement Validation Intention
by: Qi, Binhang, et al.
Published: (2025)

Towards a Framework for Operationalizing the Specification of Trustworthy AI Requirements
by: Villamizar, Hugo, et al.
Published: (2025)

Automated LTL Specification Generation from Industrial Aerospace Requirements
by: Ma, Zhi, et al.
Published: (2026)

LLMREI: Automating Requirements Elicitation Interviews with LLMs
by: Korn, Alexander, et al.
Published: (2025)

Leveraging LLMs for the Quality Assurance of Software Requirements
by: Lubos, Sebastian, et al.
Published: (2024)

Towards Systematic Specification and Verification of Fairness Requirements: A Position Paper
by: Ramadan, Qusai, et al.
Published: (2025)

Vision to Specification: Automating the Transition from Conceptual Features to Functional Requirements
by: Lian, Xiaoli, et al.
Published: (2025)

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications
by: Lian, Xiaoli, et al.
Published: (2025)

Requirements-driven Slicing of Simulink Models Using LLMs
by: Luitel, Dipeeka, et al.
Published: (2024)

Investigating Tool-Memory Conflicts in Tool-Augmented LLMs
by: Cheng, Jiali, et al.
Published: (2026)

Towards an Agentic LLM-based Approach to Requirement Formalization from Unstructured Specifications
by: Tagliaferro, Alberto, et al.
Published: (2026)

Tool for Supporting Debugging and Understanding of Normative Requirements Using LLMs
by: Kleijwegt, Alex, et al.
Published: (2025)

An Evaluation of Requirements Modeling for Cyber-Physical Systems via LLMs
by: Jin, Dongming, et al.
Published: (2024)

ReqBrain: Task-Specific Instruction Tuning of LLMs for AI-Assisted Requirements Generation
by: Habib, Mohammad Kasra, et al.
Published: (2025)

Privacy by Design: Aligning GDPR and Software Engineering Specifications with a Requirements Engineering Approach
by: Kosenkov, Oleksandr, et al.
Published: (2025)

RITA: A Tool for Automated Requirements Classification and Specification from Online User Feedback
by: Mallya, Manjeshwar Aniruddh, et al.
Published: (2026)

Embedded Software Development with Digital Twins: Specific Requirements for Small and Medium-Sized Enterprises
by: Barbie, Alexander, et al.
Published: (2023)

ReqInOne: A Large Language Model-Based Agent for Software Requirements Specification Generation
by: Zhu, Taohong, et al.
Published: (2025)

From Online User Feedback to Requirements: Evaluating Large Language Models for Classification and Specification Tasks
by: Mallya, Manjeshwar Aniruddh, et al.
Published: (2025)

Multi-Modal Requirements Data-based Acceptance Criteria Generation using LLMs
by: Wang, Fanyu, et al.
Published: (2025)

SR-Eval: Evaluating LLMs on Code Generation under Stepwise Requirement Refinement
by: Zhan, Zexun, et al.
Published: (2025)

MRG-Bench: Evaluating and Exploring the Requirements of Context for Repository-Level Code Generation
by: Li, Haiyang
Published: (2025)

Can ChatGPT Generate Realistic Synthetic System Requirement Specifications? Results of a Case Study
by: Mattukat, Alex R., et al.
Published: (2026)