SketchRep is a program repair tool that translates a faulty program to a partial non-deterministic program and leverages off-the-shelf program synthesizer to fill the “holes” of the partial program. This potential repair skeleton is further sent to the synthesizer, which tries to substitute holes with concrete program that satisfies all test assertions.
Because this paper is under submission, we only provide evaluation dataset in this reporsitory. The source code of SketchRep will be published afterward.
SketchRep folder contains the results from executing SketchRep on 35 faults benchmark.
*.sk represents faulty Sketch program, *.repair represents repair Sketch Program.
GenProg folder contains the results from executing GenProg on 35 faults benchmark using GenProg v3.0.
prog.c represents faulty C program, repair.c represents repair C program transformed from the same subject
SketchRep folder contains the results from executing SPR on 35 faults benchmark. We use the virtual image provided by SPR authors.
prog.c represents faulty C program, __fixed_prog.c represents repair C program transformed from the same subject
Please see Exhaustive.md
Please see Three-Test-Cases.md