Image de couverture de livre

ReqInOne: A Large Language Model-Based Agent for Software Requirements Specification Generation

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Zhu, Taohong, Cordeiro, Lucas C., Sun, Youcheng
Format:	Preprint
Publié:	2025
Sujets:	Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Specification Vibing for Automated Program Repair
par: Zhu, Taohong, et autres
Publié: (2026)

SAFLITE: Fuzzing Autonomous Systems via Large Language Models
par: Zhu, Taohong, et autres
Publié: (2024)

ReqBrain: Task-Specific Instruction Tuning of LLMs for AI-Assisted Requirements Generation
par: Habib, Mohammad Kasra, et autres
Publié: (2025)

ReqToCode: Embedding Requirements Traceability as a Structural Property of the Codebase
par: Schlathölter, Thorsten
Publié: (2026)

ReqElicitGym: An Evaluation Environment for Interview Competence in Conversational Requirements Elicitation
par: Jin, Dongming, et autres
Publié: (2026)

Supporting Software Formal Verification with Large Language Models: An Experimental Study
par: Wang, Weiqi, et autres
Publié: (2025)

A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification
par: Tihanyi, Norbert, et autres
Publié: (2023)

ESBMC-Python: A Bounded Model Checker for Python Programs
par: Farias, Bruno, et autres
Publié: (2024)

How Effective are Large Language Models in Generating Software Specifications?
par: Xie, Danning, et autres
Publié: (2023)

Prioritizing Software Requirements Using Large Language Models
par: Sami, Malik Abdul, et autres
Publié: (2024)

Towards Large Language Model Guided Kernel Direct Fuzzing
par: Li, Xie, et autres
Publié: (2025)

ReqFusion: A Multi-Provider Framework for Automated PEGS Analysis Across Software Domains
par: Khalid, Muhammad, et autres
Publié: (2026)

Req2Road: A GenAI Pipeline for SDV Test Artifact Generation and On-Vehicle Execution
par: Zyberaj, Denesa, et autres
Publié: (2026)

Are Prompts All You Need? Evaluating Prompt-Based Large Language Models (LLM)s for Software Requirements Classification
par: Binkhonain, Manal, et autres
Publié: (2025)

Aligning Requirement for Large Language Model's Code Generation
par: Tian, Zhao, et autres
Publié: (2025)

Augmenting the Generality and Performance of Large Language Models for Software Engineering
par: Peña, Fabian C.
Publié: (2025)

HM-Req: A Framework for Embedding Values within CPS Human Monitoring Requirements
par: Pfister, Zoe, et autres
Publié: (2026)

Automated Repair of AI Code with Large Language Models and Formal Verification
par: Charalambous, Yiannis, et autres
Publié: (2024)

From Online User Feedback to Requirements: Evaluating Large Language Models for Classification and Specification Tasks
par: Mallya, Manjeshwar Aniruddh, et autres
Publié: (2025)

Class Model Generation from Requirements using Large Language Models
par: Nguyen, Jackson, et autres
Publié: (2026)

Multi-Agent Debate Strategies to Enhance Requirements Engineering with Large Language Models
par: Oriol, Marc, et autres
Publié: (2025)

Automated Non-Functional Requirements Generation in Software Engineering with Large Language Models: A Comparative Study
par: Almonte, Jomar Thomas, et autres
Publié: (2025)

Large Language Model-Based Agents for Software Engineering: A Survey
par: Liu, Junwei, et autres
Publié: (2024)

Worst-Case Symbolic Constraints Analysis and Generalisation with Large Language Models
par: Koh, Daniel, et autres
Publié: (2025)

Generating Project-Specific Test Cases with Requirement Validation Intention
par: Qi, Binhang, et autres
Publié: (2025)

Multilingual Crowd-Based Requirements Engineering Using Large Language Models
par: Pilone, Arthur, et autres
Publié: (2024)

REAgent: Requirement-Driven LLM Agents for Software Issue Resolution
par: Kuang, Shiqi, et autres
Publié: (2026)

Using LLMs in Software Requirements Specifications: An Empirical Evaluation
par: Krishna, Madhava, et autres
Publié: (2024)

ArchCode: Incorporating Software Requirements in Code Generation with Large Language Models
par: Han, Hojae, et autres
Publié: (2024)

REprompt: Prompt Generation for Intelligent Software Development Guided by Requirements Engineering
par: Shi, Junjie, et autres
Publié: (2026)

A Survey on Large Language Models for Software Engineering
par: Zhang, Quanjun, et autres
Publié: (2023)

Privacy by Design: Aligning GDPR and Software Engineering Specifications with a Requirements Engineering Approach
par: Kosenkov, Oleksandr, et autres
Publié: (2025)

Embedded Software Development with Digital Twins: Specific Requirements for Small and Medium-Sized Enterprises
par: Barbie, Alexander, et autres
Publié: (2023)

Normative Requirements Operationalization with Large Language Models
par: Feng, Nick, et autres
Publié: (2024)

Bridging Natural Language and Formal Specification--Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs
par: Ma, Zhi, et autres
Publié: (2025)

On the Effectiveness of Large Language Models in Domain-Specific Code Generation
par: Gu, Xiaodong, et autres
Publié: (2023)

Agentic Model Checking
par: Sun, Youcheng, et autres
Publié: (2026)

SWE-Skills-Bench: Do Agent Skills Actually Help in Real-World Software Engineering?
par: Han, Tingxu, et autres
Publié: (2026)

The 4/$δ$ Bound: Designing Predictable LLM-Verifier Systems for Formal Method Guarantee
par: Dantas, PIerre, et autres
Publié: (2025)

Large Language Models for Software Testing Education: an Experience Report
par: Yang, Peng, et autres
Publié: (2026)