Copertina

Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Orvalho, Pedro, Janota, Mikoláš, Manquinho, Vasco
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Software Engineering Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases
di: Orvalho, Pedro, et al.
Pubblicazione: (2024)

InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments
di: Orvalho, Pedro, et al.
Pubblicazione: (2022)

GitSEED: A Git-backed Automated Assessment Tool for Software Engineering and Programming Education
di: Orvalho, Pedro, et al.
Pubblicazione: (2024)

Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits
di: Orvalho, Pedro, et al.
Pubblicazione: (2025)

Can Automated Feedback Turn Students into Happy Prologians?
di: Brancas, Ricardo, et al.
Pubblicazione: (2025)

PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C
di: Orvalho, Pedro, et al.
Pubblicazione: (2025)

Are Large Language Models Robust in Understanding Code Against Semantics-Preserving Mutations?
di: Orvalho, Pedro, et al.
Pubblicazione: (2025)

On the Role of Fault Localization Context for LLM-Based Program Repair
di: Sepidband, Melika, et al.
Pubblicazione: (2026)

ARISE: A Repository-level Graph Representation and Toolset for Agentic Fault Localization and Program Repair
di: Seddik, Shahd, et al.
Pubblicazione: (2026)

Combining Logic with Large Language Models for Automatic Debugging and Repair of ASP Programs
di: Brancas, Ricardo, et al.
Pubblicazione: (2024)

MELT: Mining Effective Lightweight Transformations from Pull Requests
di: Ramos, Daniel, et al.
Pubblicazione: (2023)

A Universal Textual Merge Strategy Based on Tokens for Version Control Systems
di: Gu, Qiqi Jason, et al.
Pubblicazione: (2026)

Integrating Various Software Artifacts for Better LLM-based Bug Localization and Program Repair
di: Feng, Qiong, et al.
Pubblicazione: (2024)

SPELL: Synthesis of Programmatic Edits using LLMs
di: Ramos, Daniel, et al.
Pubblicazione: (2026)

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

Memory-Efficient Large Language Models for Program Repair with Semantic-Guided Patch Generation
di: Le-Cong, Thanh, et al.
Pubblicazione: (2024)

Self-Bootstrapping Automated Program Repair: Using LLMs to Generate and Evaluate Synthetic Training Data for Bug Repair
di: de-Fitero-Dominguez, David, et al.
Pubblicazione: (2025)

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

RepoRepair: Leveraging Code Documentation for Repository-Level Automated Program Repair
di: Pan, Zhongqiang, et al.
Pubblicazione: (2026)

A Study on the Impact of Fault localization Granularity for Repository-Scale Code Repair Tasks
di: Townsend, Joseph, et al.
Pubblicazione: (2026)

Reasoning with LLMs for Zero-Shot Vulnerability Detection
di: Zibaeirad, Arastoo, et al.
Pubblicazione: (2025)

$T^3$: Multi-level Tree-based Automatic Program Repair with Large Language Models
di: Liu, Quanming, et al.
Pubblicazione: (2025)

Enhancing Automated Program Repair with Solution Design
di: Zhao, Jiuang, et al.
Pubblicazione: (2024)

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

Evaluating the Generalizability of LLMs in Automated Program Repair
di: Li, Fengjie, et al.
Pubblicazione: (2025)

Generational Computation Reduction in Informal Counterexample-Driven Genetic Programming
di: Helmuth, Thomas, et al.
Pubblicazione: (2024)

RAPGen: An Approach for Fixing Code Inefficiencies in Zero-Shot
di: Garg, Spandan, et al.
Pubblicazione: (2023)

Multi-Task Program Error Repair and Explanatory Diagnosis
di: Xu, Zhenyu, et al.
Pubblicazione: (2024)

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

Data Mining-Based Techniques for Software Fault Localization
di: Cellier, Peggy, et al.
Pubblicazione: (2025)

MergeRepair: An Exploratory Study on Merging Task-Specific Adapters in Code LLMs for Automated Program Repair
di: Dehghan, Meghdad, et al.
Pubblicazione: (2024)

RGFL: Reasoning Guided Fault Localization for Automated Program Repair Using Large Language Models
di: Sepidband, Melika, et al.
Pubblicazione: (2026)

From Benchmark Data To Applicable Program Repair: An Experience Report
di: Chandramohan, Mahinthan, et al.
Pubblicazione: (2025)

Dynamic Cogeneration of Bug Reproduction Test in Agentic Program Repair
di: Cheng, Runxiang, et al.
Pubblicazione: (2026)

Agentic Bug Reproduction for Effective Automated Program Repair at Google
di: Cheng, Runxiang, et al.
Pubblicazione: (2025)

NARRepair: Non-Autoregressive Code Generation Model for Automatic Program Repair
di: Yang, Zhenyu, et al.
Pubblicazione: (2024)

Towards Reliable Evaluation of Neural Program Repair with Natural Robustness Testing
di: Le-Cong, Thanh, et al.
Pubblicazione: (2024)

Dr. Boot: Bootstrapping Program Synthesis Language Models to Perform Repairing
di: van der Vleuten, Noah
Pubblicazione: (2025)

BoostAPR: Boosting Automated Program Repair via Execution-Grounded Reinforcement Learning with Dual Reward Models
di: Li, Yuanhao, et al.
Pubblicazione: (2026)

Certified MaxSAT Preprocessing
di: Ihalainen, Hannes, et al.
Pubblicazione: (2024)