Saved in:
| Main Authors: | Pasquale, Liliana, Ragone, Azzurra, Piemontese, Emanuele, Darban, Armin Amiri |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| 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)
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)
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)
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)
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)
by: Reinpold, Lasse M., et al.
Published: (2024)
A Requirement-Based Framework for Engineering Adaptive Authentication
by: Hassan, Alzubair, et al.
Published: (2026)
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)
by: Vogelsang, Andreas
Published: (2024)
Characterizing Requirements Smells
by: Gentili, Emanuele, et al.
Published: (2024)
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)
by: Frattini, Julian, et al.
Published: (2025)
Using LLMs in Software Requirements Specifications: An Empirical Evaluation
by: Krishna, Madhava, et al.
Published: (2024)
by: Krishna, Madhava, et al.
Published: (2024)
Can LLMs Generate User Stories and Assess Their Quality?
by: Quattrocchi, Giovanni, et al.
Published: (2025)
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)
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)
by: Sami, Malik Abdul, et al.
Published: (2026)
Requirements are All You Need: From Requirements to Code with LLMs
by: Wei, Bingyang
Published: (2024)
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)
by: Lambiase, Stefano, et al.
Published: (2025)
Quality Requirements for Code: On the Untapped Potential in Maintainability Specifications
by: Borg, Markus
Published: (2024)
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)
by: Ma, Zhi, et al.
Published: (2025)
Generating Project-Specific Test Cases with Requirement Validation Intention
by: Qi, Binhang, et al.
Published: (2025)
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)
by: Villamizar, Hugo, et al.
Published: (2025)
Automated LTL Specification Generation from Industrial Aerospace Requirements
by: Ma, Zhi, et al.
Published: (2026)
by: Ma, Zhi, et al.
Published: (2026)
LLMREI: Automating Requirements Elicitation Interviews with LLMs
by: Korn, Alexander, et al.
Published: (2025)
by: Korn, Alexander, et al.
Published: (2025)
Leveraging LLMs for the Quality Assurance of Software Requirements
by: Lubos, Sebastian, et al.
Published: (2024)
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)
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)
by: Lian, Xiaoli, et al.
Published: (2025)
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications
by: Lian, Xiaoli, et al.
Published: (2025)
by: Lian, Xiaoli, et al.
Published: (2025)
Requirements-driven Slicing of Simulink Models Using LLMs
by: Luitel, Dipeeka, et al.
Published: (2024)
by: Luitel, Dipeeka, et al.
Published: (2024)
Investigating Tool-Memory Conflicts in Tool-Augmented LLMs
by: Cheng, Jiali, et al.
Published: (2026)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
by: Mattukat, Alex R., et al.
Published: (2026)
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)