Pith. sign in

REVIEW 1 cited by

Ultra-Large Repair Search Space with Automatically Mined Templates: the Cardumen Mode of Astor

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 1712.03854 v2 pith:VY5R37AS submitted 2017-12-11 cs.SE

Matias Martinez , Martin Monperrus This is my paper · ORCID
classification cs.SE
keywords patchescardumenrepairastorbugsdefects4jautomaticallymined
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
read the original abstract

Astor is a program repair library which has different modes. In this paper, we present the Cardumen mode of Astor, a repair approach based mined templates that has an ultra-large search space. We evaluate the capacity of Cardumen to discover test-suite adequate patches (aka plausible patches) over the 356 real bugs from Defects4J. Cardumen finds 8935 patches over 77 bugs of Defects4J. This is the largest number of automatically synthesized patches ever reported, all patches being available in an open-science repository. Moreover, Cardumen identifies 8 unique patches, that are patches for Defects4J bugs that were never repaired in the whole history of program repair.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

  1. The Art of Repair: Optimizing Iterative Program Repair with Instruction-Tuned Models

    cs.SE 2025-05 conditional novelty 5.0 of 10

    Using only 1,000 fine-tuning examples with full fine-tuning improves the number of plausible repairs by up to 78%, and iterative generation strategies help base models most on complex benchmarks like Defects4J.

Pith tools