Pith. sign in

REVIEW 2 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
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 2 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).

Pith tools