IntroClass dataset for BugZoo
-
Updated
Oct 30, 2018 - Shell
IntroClass dataset for BugZoo
Automated Repair of Regression Errors for Java Programs
CETI (Correcting Errors using Test-input) is an automatic program repair technique that uses test-input generation to repair C programs. The idea is to convert the buggy program/test suite specification into another program consisting of a location reachable iff the buggy program can be repair to pass the given test suite.
Code and data for "Graph Neural Networks For Mapping Variables Between Programs", ECAI 2023.
IntroClass benchmark with property tests
A dataset of Java bugs for automatic repair, derived from the C bugs of IntroClass
51 Java regression bugs from 28 open-source projects (extracted from BugSwarm & Bears benchmarks)
InvAASTCluster: AASTs and Invariant-Based Program Clustering
An Empirical Study on Robustness of Neural Program Repair against Semantic Preserving Transformations
ProveNFix is a program analysis/repair tool for temporal properties for C language.
Mutation Testing and Automated Program Repair Tool for Ajax Web Applications
A search-based automated program-repair tool for Java.
MultIPAs: Applying Program Transformations to Introductory Programming Assignments for Data Augmentation
An attempt at detecting SStuBs using a pre-trained transformer and repairing them with a seq2seq model.
Open science data of the Repairnator project
C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments (IPAs)
Repository for the paper "T5APR: Empowering Automated Program Repair across Languages through Checkpoint Ensemble."
Security Vulnerability Repair via Concolic Execution and Code Mutations
Add a description, image, and links to the program-repair topic page so that developers can more easily learn about it.
To associate your repository with the program-repair topic, visit your repo's landing page and select "manage topics."