:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Wang, Hongshu, Zuo, Xinyue, Sun, Yuhan, Li, Qin, Ameur, Yamine Ait, Dong, Jin Song
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Software Engineering
Accesso online:	https://arxiv.org/abs/2605.17475
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

PAT-Agent: Autoformalization for Model Checking
di: Zuo, Xinyue, et al.
Pubblicazione: (2025)

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

LLM as an Execution Estimator: Recovering Missing Dependency for Practical Time-travelling Debugging
di: Pei, Yunrui, et al.
Pubblicazione: (2025)

RepairAgent: An Autonomous, LLM-Based Agent for Program Repair
di: Bouzenia, Islem, et al.
Pubblicazione: (2024)

FLARE: Agentic Coverage-Guided Fuzzing for LLM-Based Multi-Agent Systems
di: Hui, Mingxuan, et al.
Pubblicazione: (2026)

Towards Automated Governance: A DSL for Human-Agent Collaboration in Software Projects
di: Ait, Adem, et al.
Pubblicazione: (2025)

ContractSkill: Repairable Contract-Based Skills for Multimodal Web Agents
di: Lu, Zijian, et al.
Pubblicazione: (2026)

AgentFL: Scaling LLM-based Fault Localization to Project-Level Context
di: Qin, Yihao, et al.
Pubblicazione: (2024)

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision
di: Lu, Xu, et al.
Pubblicazione: (2025)

Boosting Automatic Java-to-Cangjie Translation with Multi-Stage LLM Training and Error Repair
di: Liang, Xinyue, et al.
Pubblicazione: (2026)

Agent That Debugs: Dynamic State-Guided Vulnerability Repair
di: Liu, Zhengyao, et al.
Pubblicazione: (2025)

SelfHeal: Empirical Fix Pattern Analysis and Bug Repair in LLM Agents
di: Islam, Niful, et al.
Pubblicazione: (2026)

Formal Architecture Descriptors as Navigation Primitives for AI Coding Agents
di: Jin, Ruoqi
Pubblicazione: (2026)

HAFixAgent: History-Aware Program Repair Agent
di: Shi, Yu, et al.
Pubblicazione: (2025)

Unlocking LLM Repair Capabilities Through Cross-Language Translation and Multi-Agent Refinement
di: Luo, Wenqiang, et al.
Pubblicazione: (2025)

GraphCodeAgent: Dual Graph-Guided LLM Agent for Retrieval-Augmented Repo-Level Code Generation
di: Li, Jia, et al.
Pubblicazione: (2025)

OptiLoop: Coordination-in-the-Loop Verification and Repair for LLM-Generated Optimization Agents
di: Xu, Yujia, et al.
Pubblicazione: (2026)

Towards Verifiably Safe Tool Use for LLM Agents
di: Doshi, Aarya, et al.
Pubblicazione: (2026)

SGAgent: Suggestion-Guided LLM-Based Multi-Agent Framework for Repository-Level Software Repair
di: Zhang, Quanjun, et al.
Pubblicazione: (2026)

Evaluating Agent-based Program Repair at Google
di: Rondon, Pat, et al.
Pubblicazione: (2025)

VulAgent: Hypothesis-Validation based Multi-Agent Vulnerability Detection
di: Wang, Ziliang, et al.
Pubblicazione: (2025)

Towards Modeling Human-Agentic Collaborative Workflows: A BPMN Extension
di: Ait, Adem, et al.
Pubblicazione: (2024)

EvoRepair: Enhancing Vulnerability Repair Agents Through Experience-Based Self-Evolution
di: Hu, Haichuan, et al.
Pubblicazione: (2026)

EXPEREPAIR: Dual-Memory Enhanced LLM-based Repository-Level Program Repair
di: Mu, Fangwen, et al.
Pubblicazione: (2025)

Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents
di: Liu, Xiang, et al.
Pubblicazione: (2026)

AgentSZZ: Teaching the LLM Agent to Play Detective with Bug-Inducing Commits
di: Lyu, Yunbo, et al.
Pubblicazione: (2026)

SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification
di: Ma, Lezhi, et al.
Pubblicazione: (2026)

FM-Agent: Scaling Formal Methods to Large Systems via LLM-Based Hoare-Style Reasoning
di: Ding, Haoran, et al.
Pubblicazione: (2026)

EigenData: A Self-Evolving Multi-Agent Platform for Function-Calling Data Synthesis, Auditing, and Repair
di: Chen, Jiaao, et al.
Pubblicazione: (2026)

AgentRaft: Automated Detection of Data Over-Exposure in LLM Agents
di: Lin, Yixi, et al.
Pubblicazione: (2026)

LogiAgent: Automated Logical Testing for REST Systems with LLM-Based Multi-Agents
di: Zhang, Ke, et al.
Pubblicazione: (2025)

SecureFixAgent: A Hybrid LLM Agent for Automated Python Static Vulnerability Repair
di: Gajjar, Jugal, et al.
Pubblicazione: (2025)

ProcCtrlBench: Evaluating Process-Level Defects and Control Preservation in LLM Coding Agents
di: He, Jiawei, et al.
Pubblicazione: (2026)

Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement
di: Kobayashi, Tsutomu, et al.
Pubblicazione: (2024)

An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications
di: Alhanahnah, Mohannad, et al.
Pubblicazione: (2024)

Push Your Agent: Measuring and Enforcing Quantitative Goal Persistence in Long-Horizon LLM Agents
di: Cai, Yuandao, et al.
Pubblicazione: (2026)

Collaborative Agents for Automated Program Repair in Ruby
di: Akbarpour, Nikta, et al.
Pubblicazione: (2025)

SkillReducer: Optimizing LLM Agent Skills for Token Efficiency
di: Gao, Yudong, et al.
Pubblicazione: (2026)

Wired for Reuse: Automating Context-Aware Code Adaptation in IDEs via LLM-Based Agent
di: Wang, Taiming, et al.
Pubblicazione: (2025)

Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis
di: Huang, Zhechong, et al.
Pubblicazione: (2026)