:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Pasquale, Liliana, Ragone, Azzurra, Piemontese, Emanuele, Darban, Armin Amiri
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Software Engineering
Accesso online:	https://arxiv.org/abs/2507.19113
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

Characterizing Requirements Smells
di: Gentili, Emanuele, et al.
Pubblicazione: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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