Buchumschlag

ContextCov: Deriving and Enforcing Executable Constraints from Agent Instruction Files

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Sharma, Reshabh K
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

Learning Correct Behavior from Examples: Validating Sequential Execution in Autonomous Agents
von: Sharma, Reshabh K, et al.
Veröffentlicht: (2026)

Willful Disobedience: Automatically Detecting Failures in Agentic Traces
von: Sharma, Reshabh K, et al.
Veröffentlicht: (2026)

PromptPex: Automatic Test Generation for Language Model Prompts
von: Sharma, Reshabh K, et al.
Veröffentlicht: (2025)

Evaluating AGENTS.md: Are Repository-Level Context Files Helpful for Coding Agents?
von: Gloaguen, Thibaud, et al.
Veröffentlicht: (2026)

Constraint-Guided Multi-Agent Decompilation for Executable Binary Recovery
von: Zhang, Yifan, et al.
Veröffentlicht: (2026)

Attention Mechanism and Heuristic Approach: Context-Aware File Ranking Using Multi-Head Self-Attention
von: Sharma, Pradeep Kumar, et al.
Veröffentlicht: (2026)

Repository-Aware File Path Retrieval via Fine-Tuned LLMs
von: Yanuganti, Vasudha, et al.
Veröffentlicht: (2025)

Vector Graph-Based Repository Understanding for Issue-Driven File Retrieval
von: Bevziuk, Kostiantyn, et al.
Veröffentlicht: (2025)

AgentForge: Execution-Grounded Multi-Agent LLM Framework for Autonomous Software Engineering
von: Kumar, Rajesh, et al.
Veröffentlicht: (2026)

REDO: Execution-Free Runtime Error Detection for COding Agents
von: Li, Shou, et al.
Veröffentlicht: (2024)

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

ResearchEnvBench: Benchmarking Agents on Environment Synthesis for Research Code Execution
von: Wang, Yubang, et al.
Veröffentlicht: (2026)

Towards Structured, State-Aware, and Execution-Grounded Reasoning for Software Engineering Agents
von: Tse-Hsun, et al.
Veröffentlicht: (2026)

You Name It, I Run It: An LLM Agent to Execute Tests of Arbitrary Projects
von: Bouzenia, Islem, et al.
Veröffentlicht: (2024)

BLAgent: Agentic RAG for File-Level Bug Localization
von: Mamun, Md Afif Al, et al.
Veröffentlicht: (2026)

Correctness-Aware Repository Filtering Under Maximum Effective Context Window Constraints
von: Mishra, Shweta
Veröffentlicht: (2026)

TransAgent: Enhancing LLM-Based Code Translation via Fine-Grained Execution Alignment
von: Yuan, Zhiqiang, et al.
Veröffentlicht: (2024)

Constraint Decay: The Fragility of LLM Agents in Backend Code Generation
von: Dente, Francesco, et al.
Veröffentlicht: (2026)

Beyond Autonomy: A Dynamic Tiered AgentRunner Framework for Governable and Resilient Enterprise AI Execution
von: Pan, Kai, et al.
Veröffentlicht: (2026)

Automating Android Build Repair: Bridging the Reasoning-Execution Gap in LLM Agents with Domain-Specific Tools
von: Son, Ha Min, et al.
Veröffentlicht: (2025)

Large Language Models for In-File Vulnerability Localization Can Be "Lost in the End"
von: Sovrano, Francesco, et al.
Veröffentlicht: (2025)

The A-R Behavioral Space: Execution-Level Profiling of Tool-Using Language Model Agents in Organizational Deployment
von: Yu, Shasha, et al.
Veröffentlicht: (2026)

RA-Gen: A Controllable Code Generation Framework Using ReAct for Multi-Agent Task Execution
von: Liu, Aofan, et al.
Veröffentlicht: (2025)

LoCoBench-Agent: An Interactive Benchmark for LLM Agents in Long-Context Software Engineering
von: Qiu, Jielin, et al.
Veröffentlicht: (2025)

An Executable Benchmarking Suite for Tool-Using Agents
von: Zhong, Zhiqing, et al.
Veröffentlicht: (2026)

Leveraging LLMs for Multi-File DSL Code Generation: An Industrial Case Study
von: Chand, Sivajeet, et al.
Veröffentlicht: (2026)

LogBabylon: A Unified Framework for Cross-Log File Integration and Analysis
von: Karanjai, Rabimba, et al.
Veröffentlicht: (2024)

RepoMirage: Probing Repository Context Reasoning in Code Agents with Perturbations
von: Li, Hanyu, et al.
Veröffentlicht: (2026)

Enhancing LLM-Based Coding Tools through Native Integration of IDE-Derived Static Context
von: Li, Yichen, et al.
Veröffentlicht: (2024)

SWE-Effi: Re-Evaluating Software AI Agent System Effectiveness Under Resource Constraints
von: Fan, Zhiyu, et al.
Veröffentlicht: (2025)

Engineering Reasoning and Instruction (ERI) Benchmark: A Large Taxonomy-driven Dataset for Foundation Models and Agents
von: Naser, MZ, et al.
Veröffentlicht: (2026)

Treefix: Enabling Execution with a Tree of Prefixes
von: Souza, Beatriz, et al.
Veröffentlicht: (2025)

SUPER: Evaluating Agents on Setting Up and Executing Tasks from Research Repositories
von: Bogin, Ben, et al.
Veröffentlicht: (2024)

When Context Hurts: The Crossover Effect of Knowledge Transfer on Multi-Agent Design Exploration
von: Vigraham, Saranyan
Veröffentlicht: (2026)

The Complexity Trap: Simple Observation Masking Is as Efficient as LLM Summarization for Agent Context Management
von: Lindenbauer, Tobias, et al.
Veröffentlicht: (2025)

Governed Evolution of Agent Runtimes through Executable Operational Cognition
von: Garralda-Barrio, Mariano
Veröffentlicht: (2026)

FlowMind: Execute-Summarize for Structured Workflow Generation from LLM Reasoning
von: Liu, Yihao, et al.
Veröffentlicht: (2026)

Ambiguity Detection and Elimination in Automated Executable Process Modeling
von: Matei, Ion, et al.
Veröffentlicht: (2026)

Learning Adaptive Parallel Execution for Efficient Code Localization
von: Xu, Ke, et al.
Veröffentlicht: (2026)

STELP: Secure Transpilation and Execution of LLM-Generated Programs
von: Shinde, Swapnil, et al.
Veröffentlicht: (2026)