Copertina

AutoReSpec: A Framework for Generating Specification using Large Language Models

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Ayon, Ragib Shahariar, Ahmed, Shibbir
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Software Engineering Artificial Intelligence D.2.1
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

SpecPylot: Python Specification Generation using Large Language Models
di: Ayon, Ragib Shahariar, et al.
Pubblicazione: (2026)

From Helpful to Trustworthy: LLM Agents for Pair Programming
di: Ayon, Ragib Shahariar
Pubblicazione: (2026)

PICKLES: a Natural Language Framework for Requirement Specification and Model-Based Testing
di: Rodríguez, María Belén, et al.
Pubblicazione: (2026)

IACDM: Interactive Adversarial Convergence Development Methodology -- A Structured Framework for AI-Assisted Software Development
di: Moreira, Jasmine
Pubblicazione: (2026)

Formalising Software Requirements using Large Language Models
di: Beg, Arshad, et al.
Pubblicazione: (2025)

Social, Legal, Ethical, Empathetic and Cultural Norm Operationalisation for AI Agents
di: Calinescu, Radu, et al.
Pubblicazione: (2026)

Constitutional Spec-Driven Development: Enforcing Security by Construction in AI-Assisted Code Generation
di: Marri, Srinivas Rao
Pubblicazione: (2026)

Causal Models in Requirement Specifications for Machine Learning: A vision
di: Heyn, Hans-Martin, et al.
Pubblicazione: (2025)

Towards an Approach to Pattern-based Domain-Specific Requirements Engineering
di: Chuprina, T., et al.
Pubblicazione: (2024)

Generative Goal Modeling
di: Sharfuddin, Ateeq, et al.
Pubblicazione: (2025)

Structural Quality Gaps in Practitioner AI Governance Prompts: An Empirical Study Using a Five-Principle Evaluation Framework
di: Zietsman, Christo
Pubblicazione: (2026)

Smart Expansion Techniques for ASP-based Interactive Configuration
di: Balážová, Lucia, et al.
Pubblicazione: (2025)

AgentAssay: Token-Efficient Regression Testing for Non-Deterministic AI Agent Workflows
di: Bhardwaj, Varun Pratap
Pubblicazione: (2026)

SLEGO: A Collaborative Data Analytics System with LLM Recommender for Diverse Users
di: Ng, Siu Lung, et al.
Pubblicazione: (2024)

Working Document -- Formalising Software Requirements with Large Language Models
di: Beg, Arshad, et al.
Pubblicazione: (2025)

Towards a Value-Complemented Framework for Enabling Human Monitoring in Cyber-Physical Systems
di: Pfister, Zoe, et al.
Pubblicazione: (2025)

An Industrial-Scale Retrieval-Augmented Generation Framework for Requirements Engineering: Empirical Evaluation with Automotive Manufacturing Data
di: Khalid, Muhammad, et al.
Pubblicazione: (2026)

Test-Driven AI Agent Definition (TDAD): Compiling Tool-Using Agents from Behavioral Specifications
di: Rehan, Tzafrir
Pubblicazione: (2026)

Think Like an Engineer: A Neuro-Symbolic Collaboration Agent for Generative Software Requirements Elicitation and Self-Review
di: Zhang, Sai, et al.
Pubblicazione: (2025)

A Data Annotation Requirements Representation and Specification (DARS)
di: Peng, Yi, et al.
Pubblicazione: (2025)

Who is Introducing the Failure? Automatically Attributing Failures of Multi-Agent Systems via Spectrum Analysis
di: Ge, Yu, et al.
Pubblicazione: (2025)

Synthesizing Test Cases for Narrowing Specification Candidates
di: Cunha, Alcino, et al.
Pubblicazione: (2025)

N-Version Assessment and Enhancement of Generative AI
di: Kessel, Marcus, et al.
Pubblicazione: (2024)

Validating Formal Specifications with LLM-generated Test Cases
di: Cunha, Alcino, et al.
Pubblicazione: (2025)

Prompts Blend Requirements and Solutions: From Intent to Implementation
di: Chakraborty, Shalini, et al.
Pubblicazione: (2026)

From Bugs to Benefits: Improving User Stories by Leveraging Crowd Knowledge with CrUISE-AC
di: Schwedt, Stefan, et al.
Pubblicazione: (2025)

Fuzzing the brain: Automated stress testing for the safety of ML-driven neurostimulation
di: Downing, Mara, et al.
Pubblicazione: (2025)

Large Language Models (LLMs) for Requirements Engineering (RE): A Systematic Literature Review
di: Zadenoori, Mohammad Amin, et al.
Pubblicazione: (2025)

Intent Formalization: A Grand Challenge for Reliable Coding in the Age of AI Agents
di: Lahiri, Shuvendu K.
Pubblicazione: (2026)

From Machine Learning Documentation to Requirements: Bridging Processes with Requirements Languages
di: Peng, Yi, et al.
Pubblicazione: (2025)

Comprehensive Evaluation and Insights into the Use of Large Language Models in the Automation of Behavior-Driven Development Acceptance Test Formulation
di: Karpurapu, Shanthi, et al.
Pubblicazione: (2024)

Exploring LLMs for User Story Extraction from Mockups
di: Firmenich, Diego, et al.
Pubblicazione: (2026)

Evaluating LLM-Generated ACSL Annotations for Formal Verification
di: Beg, Arshad, et al.
Pubblicazione: (2026)

Memory Management and Contextual Consistency for Long-Running Low-Code Agents
di: Xu, Jiexi
Pubblicazione: (2025)

Graph Construction and Matching for Imperative Programs using Neural and Structural Methods
di: Beg, Arshad, et al.
Pubblicazione: (2026)

Reconsidering Requirements Engineering: Human-AI Collaboration in AI-Native Software Development
di: Abbasi, Mateen Ahmed, et al.
Pubblicazione: (2025)

Private GPTs for LLM-driven testing in software development and machine learning
di: Jagielski, Jakub, et al.
Pubblicazione: (2025)

Test-driven Software Experimentation with LASSO: an LLM Prompt Benchmarking Example
di: Kessel, Marcus
Pubblicazione: (2024)

Morescient GAI for Software Engineering (Extended Version)
di: Kessel, Marcus, et al.
Pubblicazione: (2024)

Automatic Generation of Combinatorial Reoptimisation Problem Specifications: A Vision
di: Kratz, Maximilian, et al.
Pubblicazione: (2025)