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
Security Vulnerability Repair via Concolic Execution and Code Mutations
Community-driven effort to facilitate discovery, access and systematization of data related to Large Language Models used for security perposes.
MultIPAs: Applying Program Transformations to Introductory Programming Assignments for Data Augmentation
IntroClass dataset for BugZoo
[2023 TDSC] Pre-trained Model-based Automated Software Vulnerability Repair: How Far are We?
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."