Buchumschlag

Formal Architecture Descriptors as Navigation Primitives for AI Coding Agents

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Jin, Ruoqi
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Software Engineering Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Architecture Without Architects: How AI Coding Agents Shape Software Architecture
von: Konrad, Phongsakon Mark, et al.
Veröffentlicht: (2026)

AI-Generated Smells: An Analysis of Code and Architecture in LLM and Agent-Driven Development
von: Zhu, Yuecai, et al.
Veröffentlicht: (2026)

Theory of Code Space: Do Code Agents Understand Software Architecture?
von: Sapunov, Grigory
Veröffentlicht: (2026)

Automated Repair of AI Code with Large Language Models and Formal Verification
von: Charalambous, Yiannis, et al.
Veröffentlicht: (2024)

From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification
von: Erfan, Md, et al.
Veröffentlicht: (2026)

MASAI: Modular Architecture for Software-engineering AI Agents
von: Arora, Daman, et al.
Veröffentlicht: (2024)

Analyzing Message-Code Inconsistency in AI Coding Agent-Authored Pull Requests
von: Gong, Jingzhi, et al.
Veröffentlicht: (2026)

AIDev: Studying AI Coding Agents on GitHub
von: Li, Hao, et al.
Veröffentlicht: (2026)

UnitTenX: Generating Tests for Legacy Packages with AI Agents Powered by Formal Verification
von: Charalambous, Yiannis, et al.
Veröffentlicht: (2025)

MarsCode Agent: AI-native Automated Bug Fixing
von: Liu, Yizhou, et al.
Veröffentlicht: (2024)

RepoReviewer: A Local-First Multi-Agent Architecture for Repository-Level Code Review
von: Zhang, Peng
Veröffentlicht: (2026)

AI Agent for Reverse-Engineering Legacy Finite-Difference Code and Translating to Devito
von: Hou, Yinghan, et al.
Veröffentlicht: (2026)

On the Adoption of AI Coding Agents in Open-source Android and iOS Development
von: Khan, Muhammad Ahmad, et al.
Veröffentlicht: (2026)

Engineering AI Agents for Clinical Workflows: A Case Study in Architecture,MLOps, and Governance
von: Lopes, Cláudio Lúcio do Val, et al.
Veröffentlicht: (2026)

FreshBrew: A Benchmark for Evaluating AI Agents on Java Code Migration
von: May, Victor, et al.
Veröffentlicht: (2025)

The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap
von: Zhang, Yedi, et al.
Veröffentlicht: (2024)

ProjDevBench: Benchmarking AI Coding Agents on End-to-End Project Development
von: Lu, Pengrui, et al.
Veröffentlicht: (2026)

Towards Responsible Generative AI: A Reference Architecture for Designing Foundation Model based Agents
von: Lu, Qinghua, et al.
Veröffentlicht: (2023)

Agent Behavioral Contracts: Formal Specification and Runtime Enforcement for Reliable Autonomous AI Agents
von: Bhardwaj, Varun Pratap
Veröffentlicht: (2026)

RedCode: Risky Code Execution and Generation Benchmark for Code Agents
von: Guo, Chengquan, et al.
Veröffentlicht: (2024)

CIAO - Code In Architecture Out - Automated Software Architecture Documentation with Large Language Models
von: De Luca, Marco, et al.
Veröffentlicht: (2026)

Code Review Agent Benchmark
von: Zhang, Yuntong, et al.
Veröffentlicht: (2026)

Bridging Requirements and Architecture: Multi-Agent Orchestration with External Knowledge and Hierarchical Memory
von: Li, Ruiyin, et al.
Veröffentlicht: (2026)

Broken by Default: A Formal Verification Study of Security Vulnerabilities in AI-Generated Code
von: Blain, Dominik, et al.
Veröffentlicht: (2026)

ArgRE: Formal Argumentation for Conflict Resolution in Multi-Agent Requirements Negotiation
von: Cheng, Haowei, et al.
Veröffentlicht: (2026)

MAAD: Automate Software Architecture Design through Knowledge-Driven Multi-Agent Collaboration
von: Li, Ruiyin, et al.
Veröffentlicht: (2025)

Workflows vs Agents for Code Translation
von: Gray, Henry, et al.
Veröffentlicht: (2025)

How AI Coding Agents Communicate: A Study of Pull Request Description Characteristics and Human Review Responses
von: Watanabe, Kan, et al.
Veröffentlicht: (2026)

Where Do AI Coding Agents Fail? An Empirical Study of Failed Agentic Pull Requests in GitHub
von: Ehsani, Ramtin, et al.
Veröffentlicht: (2026)

When AI Teammates Meet Code Review: Collaboration Signals Shaping the Integration of Agent-Authored Pull Requests
von: Nachuma, Costain, et al.
Veröffentlicht: (2026)

AI-Assisted Assessment of Coding Practices in Modern Code Review
von: Vijayvergiya, Manushree, et al.
Veröffentlicht: (2024)

AgentArcEval: An Architecture Evaluation Method for Foundation Model based Agents
von: Lu, Qinghua, et al.
Veröffentlicht: (2025)

AI Code in the Wild: Measuring Security Risks and Ecosystem Shifts of AI-Generated Code in Modern Software
von: Wang, Bin, et al.
Veröffentlicht: (2025)

SpecAgent: A Speculative Retrieval and Forecasting Agent for Code Completion
von: Ma, George, et al.
Veröffentlicht: (2025)

Swiss Cheese Model for AI Safety: A Taxonomy and Reference Architecture for Multi-Layered Guardrails of Foundation Model Based Agents
von: Shamsujjoha, Md, et al.
Veröffentlicht: (2024)

Code Researcher: Deep Research Agent for Large Systems Code and Commit History
von: Singh, Ramneet, et al.
Veröffentlicht: (2025)

Repository Intelligence Graph: Deterministic Architectural Map for LLM Code Assistants
von: Cherny-Shahar, Tsvi, et al.
Veröffentlicht: (2026)

The AI Agent Index
von: Casper, Stephen, et al.
Veröffentlicht: (2025)

Scaling Coding Agents via Atomic Skills
von: Ma, Yingwei, et al.
Veröffentlicht: (2026)

AgentGuard: Runtime Verification of AI Agents
von: Koohestani, Roham
Veröffentlicht: (2025)