Cover Image

Vision to Specification: Automating the Transition from Conceptual Features to Functional Requirements

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Lian, Xiaoli, Wu, Jiajun, Gao, Xiaoyun, Wang, Shuaisong, Zhang, Li
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Uncovering Weaknesses in Neural Code Generation
by: Lian, Xiaoli, et al.
Published: (2024)

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

A Novel Approach for Automated Design Information Mining from Issue Logs
by: Zhao, Jiuang, et al.
Published: (2024)

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

A Conceptual Framework for Requirements Engineering of Pretrained-Model-Enabled Systems
by: Jin, Dongming, et al.
Published: (2025)

Hybrid Automated Program Repair by Combining Large Language Models and Program Analysis
by: Li, Fengjie, et al.
Published: (2024)

Empirical Evaluation of Large Language Models in Automated Program Repair
by: Sun, Jiajun, et al.
Published: (2025)

Enhancing Automated Program Repair with Solution Design
by: Zhao, Jiuang, et al.
Published: (2024)

Automated Requirements Relation Extraction
by: Motger, Quim, et al.
Published: (2024)

A Survey on the Techniques and Tools for Automated Requirements Elicitation and Analysis of Mobile Apps
by: Wang, Chong, et al.
Published: (2025)

Extracting Formal Specifications from Documents Using LLMs for Automated Testing
by: Li, Hui, et al.
Published: (2025)

Evaluating the Generalizability of LLMs in Automated Program Repair
by: Li, Fengjie, et al.
Published: (2025)

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)

Exploring the Use of LLMs for Requirements Specification in an IT Consulting Company
by: Pasquale, Liliana, et al.
Published: (2025)

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

AUITestAgent: Automatic Requirements Oriented GUI Function Testing
by: Hu, Yongxiang, et al.
Published: (2024)

Requirements-Driven Automated Software Testing: A Systematic Review
by: Wang, Fanyu, et al.
Published: (2025)

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

Self-Elicitation of Requirements with Automated GUI Prototyping
by: Kolthoff, Kristian, et al.
Published: (2024)

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)

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

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

AutoOffAB: Toward Automated Offline A/B Testing for Data-Driven Requirement Engineering
by: Wu, Jie JW
Published: (2023)

On the Impact of Requirements Smells in Prompts: The Case of Automated Traceability
by: Vogelsang, Andreas, et al.
Published: (2025)

Automated Concern Extraction from Textual Requirements of Cyber-Physical Systems: A Multi-solution Study
by: Jin, Dongming, et al.
Published: (2025)

Requirements Engineering for Research Software: A Vision
by: Bajraktari, Adrian, et al.
Published: (2024)

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

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

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

Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications
by: Yang, Fanpeng, et al.
Published: (2025)

Classification, Challenges, and Automated Approaches to Handle Non-Functional Requirements in ML-Enabled Systems: A Systematic Literature Review
by: De Martino, Vincenzo, et al.
Published: (2023)

Requirements Strategy for Managing Human Factors in Automated Vehicle Development
by: Muhammad, Amna Pir, et al.
Published: (2024)

Automating Business Intelligence Requirements with Generative AI and Semantic Search
by: Busany, Nimrod, et al.
Published: (2024)

Specification Vibing for Automated Program Repair
by: Zhu, Taohong, et al.
Published: (2026)

An Empirical Study on Failures in Automated Issue Solving
by: Liu, Simiao, et al.
Published: (2025)

Revolutionizing Newcomers' Onboarding Process in OSS Communities: The Future AI Mentor
by: Tan, Xin, et al.
Published: (2025)

Functional Requirements for Decentralized and Self-Sovereign Identities
by: Schumm, Daria, et al.
Published: (2026)

Improving Requirements Completeness: Automated Assistance through Large Language Models
by: Luitel, Dipeeka, et al.
Published: (2023)