Fixing static analysis violations in Java source code using Datalog
-
Updated
Sep 20, 2022 - C++
Fixing static analysis violations in Java source code using Datalog
ProveNFix is a program analysis/repair tool for temporal properties for C language.
51 Java regression bugs from 28 open-source projects (extracted from BugSwarm & Bears benchmarks)
C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments (IPAs)
InvAASTCluster: AASTs and Invariant-Based Program Clustering
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.
An Empirical Study on Robustness of Neural Program Repair against Semantic Preserving Transformations
Mutation Testing and Automated Program Repair Tool for Ajax Web Applications
IntroClass benchmark with property tests
A search-based automated program-repair tool for Java.
A dataset of Java bugs for automatic repair, derived from the C bugs of IntroClass
Repository for the paper "T5APR: Empowering Automated Program Repair across Languages through Checkpoint Ensemble."
Community-driven effort to facilitate discovery, access and systematization of data related to Large Language Models used for security perposes.
Security Vulnerability Repair via Concolic Execution and Code Mutations
MultIPAs: Applying Program Transformations to Introductory Programming Assignments for Data Augmentation
IntroClass dataset for BugZoo
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."