Image de couverture de livre

Do AI models help produce verified bug fixes?

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Huang, Li, Mustafin, Ilgiz, Piccioni, Marco, Schena, Alessandro, Weber, Reto, Meyer, Bertrand
Format:	Preprint
Publié:	2025
Sujets:	Software Engineering Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Bugfix: a standard language, database schema and repository for research on bugs and automatic program repair
par: Kananchuk, Victoria, et autres
Publié: (2025)

Execution-free Program Repair
par: Huang, Li, et autres
Publié: (2024)

Empirical evaluation of LLMs in predicting fixes of Configuration bugs in Smart Home System
par: Monisha, Sheikh Moonwara Anjum, et autres
Publié: (2025)

Programming Really Is Simple Mathematics
par: Meyer, Bertrand, et autres
Publié: (2025)

Loop unrolling: formal definition and application to testing
par: Huang, Li, et autres
Publié: (2025)

Snakemaker: Seamlessly transforming ad-hoc analyses into sustainable Snakemake workflows with generative AI
par: Masera, Marco, et autres
Publié: (2025)

Design choices made by LLM-based test generators prevent them from finding bugs
par: Mathews, Noble Saji, et autres
Publié: (2024)

Will AI replace Software Engineers? Do not hold your breath
par: Roychoudhury, Abhik, et autres
Publié: (2025)

Codev-Bench: How Do LLMs Understand Developer-Centric Code Completion?
par: Pan, Zhenyu, et autres
Publié: (2024)

Digital Twins & ZeroConf AI: Structuring Automated Intelligent Pipelines for Industrial Applications
par: Picone, Marco, et autres
Publié: (2026)

Do Code LLMs Understand Design Patterns?
par: Pan, Zhenyu, et autres
Publié: (2025)

How Do Generative Models Draw a Software Engineer? A Case Study on Stable Diffusion Bias
par: Fadahunsi, Tosin, et autres
Publié: (2025)

Where Do AI Coding Agents Fail? An Empirical Study of Failed Agentic Pull Requests in GitHub
par: Ehsani, Ramtin, et autres
Publié: (2026)

Do Machines and Humans Focus on Similar Code? Exploring Explainability of Large Language Models in Code Summarization
par: Li, Jiliang, et autres
Publié: (2024)

Favia: Forensic Agent for Vulnerability-fix Identification and Analysis
par: Storhaug, André, et autres
Publié: (2026)

On LLM-Assisted Generation of Smart Contracts from Business Processes
par: Stiehle, Fabian, et autres
Publié: (2025)

A Comparison of Conversational Models and Humans in Answering Technical Questions: the Firefox Case
par: Correia, Joao, et autres
Publié: (2025)

EGI: A Multimodal Emotional AI Framework for Enhancing Scrum Master Real-time Self-Awareness
par: Huang, Jingni, et autres
Publié: (2026)

Modeling Resilience of Collaborative AI Systems
par: Rimawi, Diaeddin, et autres
Publié: (2024)

Do not copy and paste! Rewriting strategies for code retrieval
par: Gurioli, Andrea, et autres
Publié: (2026)

AI2Apps: A Visual IDE for Building LLM-based AI Agent Applications
par: Pang, Xin, et autres
Publié: (2024)

From Articles to Code: On-Demand Generation of Core Algorithms from Scientific Publications
par: Movassaghi, Cameron S., et autres
Publié: (2025)

Large Process Models: A Vision for Business Process Management in the Age of Generative AI
par: Kampik, Timotheus, et autres
Publié: (2023)

Investigating Training Data Detection in AI Coders
par: Li, Tianlin, et autres
Publié: (2025)

Do Code Semantics Help? A Comprehensive Study on Execution Trace-Based Information for Code Large Language Models
par: Wang, Jian, et autres
Publié: (2025)

Reproducible, Explainable, and Effective Evaluations of Agentic AI for Software Engineering
par: Li, Jingyue, et autres
Publié: (2026)

How Do Agents Perform Code Optimization? An Empirical Study
par: Peng, Huiyun, et autres
Publié: (2025)

AIDev: Studying AI Coding Agents on GitHub
par: Li, Hao, et autres
Publié: (2026)

KModels: Unlocking AI for Business Applications
par: Abitbol, Roy, et autres
Publié: (2024)

Do AI Models Dream of Faster Code? An Empirical Study on LLM-Proposed Performance Improvements in Real-World Software
par: Yi, Lirong, et autres
Publié: (2025)

Theory of Code Space: Do Code Agents Understand Software Architecture?
par: Sapunov, Grigory
Publié: (2026)

AI Code in the Wild: Measuring Security Risks and Ecosystem Shifts of AI-Generated Code in Modern Software
par: Wang, Bin, et autres
Publié: (2025)

Skilled AI Agents for Embedded and IoT Systems Development
par: Li, Yiming, et autres
Publié: (2026)

Do Generative AI Tools Ensure Green Code? An Investigative Study
par: Sikand, Samarth, et autres
Publié: (2025)

Ethics Testing: Proactive Identification of Generative AI System Harms
par: Tan, Shin Hwei, et autres
Publié: (2026)

AstraAI: LLMs, Retrieval, and AST-Guided Assistance for HPC Codebases
par: Natarajan, Mahesh, et autres
Publié: (2026)

DoVer: Intervention-Driven Auto Debugging for LLM Multi-Agent Systems
par: Ma, Ming, et autres
Publié: (2025)

Do LLMs Favor Their Providers? Measuring Vertical Integration Bias in Code Generation
par: Catal, Melih, et autres
Publié: (2026)

From Expectation to Habit: Why Do Software Practitioners Adopt Fairness Toolkits?
par: Voria, Gianmario, et autres
Publié: (2024)

Do Current Language Models Support Code Intelligence for R Programming Language?
par: Zhao, ZiXiao, et autres
Publié: (2024)