WiseSpec: Requirements-Driven Agents for Code Generation

arXiv:2609.00568 · cs.SE, cs.AI · Submitted 2026-09-01 · Read on arXiv

cs.SE, cs.AI

Submitted: 2026-09-01

Updated: 2026-09-01

Comments: Accepted by ASE 2026 (SRC)

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

• Alignment — 5× in this paper · explained in 1 episode
• Benchmark — 4× in this paper · explained in 2 episodes
• Large Language Model — 4× in this paper
• International Conference on Software Engineering — 2× in this paper
• AI Agents — 1× in this paper · explained in 2 episodes
• Domain-Specific Language (DSL) — 1× in this paper · explained in 2 episodes
• Foundation Model — 1× in this paper · explained in 3 episodes
• Foundation Models — 1× in this paper · explained in 7 episodes
• Generalizability — 1× in this paper · explained in 6 episodes
• Large Language Model (LLM) — 1× in this paper · explained in 3 episodes
• Large Language Models (LLMs) — 1× in this paper · explained in 6 episodes
• Robustness — 1× in this paper · explained in 5 episodes
• Test-time Scaling — 1× in this paper · explained in 2 episodes

Sources

• SWE-Bench Pro: Can AI Agents Solve Long-Horizon Software Engineering Tasks?
• Trae Agent: An LLM-based Agent for Software Engineering with Test-time Scaling
• REAgent: Requirement-Driven LLM Agents for Software Issue Resolution
• DeepSeek-V3.2: Pushing the Frontier of Open Large Language Models
• Aligning Requirement for Large Language Model's Code Generation
• Qwen3 Technical Report

Related papers

• Falsification-Based Verification of LLM-Generated Optimization Models: Sound Test Batteries and Their Detection Limits
• GitSkills: A Dataset of Agent Skills on GitHub
• For Coding Agents, the Repository Matters
• SABER: Benchmarking Operational Safety of LLM Coding Agents in Stateful Project Workspaces
• PackMonitor: Enabling Zero Package Hallucinations Through Decoding-Time Monitoring
• IntentCoding: Amplifying User Intent in Code Generation