IntroClass dataset for BugZoo
-
Updated
Oct 30, 2018 - Shell
IntroClass dataset for BugZoo
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.
Automated Repair of Regression Errors for Java Programs
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
Code and data for "Graph Neural Networks For Mapping Variables Between Programs", ECAI 2023.
ProveNFix is a program analysis/repair tool for temporal properties for C language.
An Empirical Study on Robustness of Neural Program Repair against Semantic Preserving Transformations
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)
Community-driven effort to facilitate discovery, access and systematization of data related to Large Language Models used for security perposes.
Repository for the paper "T5APR: Empowering Automated Program Repair across Languages through Checkpoint Ensemble."
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."