Pith. sign in

REVIEW 4 cited by

Program Repair

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2211.12787 v1 pith:FBUZCPHF submitted 2022-11-23 cs.SE

Xiang Gao , Yannic Noller , Abhik Roychoudhury This is my paper · ORCID
classification cs.SE
keywords repairprogramtechniquesdiscussoverfittingpatchsuitesurvey
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
read the original abstract

Automated program repair is an emerging technology which consists of a suite of techniques to automatically fix bugs or vulnerabilities in programs. In this paper, we present a comprehensive survey of the state of the art in program repair. We first study the different suite of techniques used including search based repair, constraint based repair and learning based repair. We then discuss one of the main challenges in program repair namely patch overfitting, by distilling a class of techniques which can alleviate patch overfitting. We then discuss classes of program repair tools, applications of program repair as well as uses of program repair in industry. We conclude the survey with a forward looking outlook on future usages of program repair, as well as research opportunities arising from work on code from large language models.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 4 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Translating C To Rust: Lessons from a User Study

    cs.SE 2024-11 conditional novelty 7.0 of 10

    Non-expert humans can translate small real-world C programs into safe, reasonably fast Rust, but no automatic tool in the study could, and every human translation still had behavioral differences from the C original.

  2. From Empirical Evaluation to Context-Aware Enhancement: Repairing Regression Errors with LLMs

    cs.SE 2025-06 conditional novelty 6.0 of 10

    Adding bug-inducing commit context to LLM prompts raises correct regression repairs from 9 to 16 of 99 Java bugs (1.8x).

  3. kAgent: An execution-guided crash resolution agent for the Linux kernel

    cs.SE 2025-04 reject novelty 6.0 of 10

    An LLM agent with execution-trace-guided hypothesis generation resolves about 65% of fuzzed Linux kernel crashes when told which file to fix, but most of its 'fixed' crashes are resolved by deleting or bypassing code.

  4. SemAgent: A Semantics Aware Program Repair Agent

    cs.SE 2025-06 conditional novelty 5.0 of 10

    SemAgent, a workflow-based repair agent using execution, issue, and code semantics, reports solving 134 of 300 SWE-bench Lite issues (44.66%).

Pith tools