ali-ghanbari / prapr-scView external linksLinks
Official repository for PraPR source code
☆14May 11, 2021Updated 4 years ago
Alternatives and similar repositories for prapr-sc
Users that are interested in prapr-sc are comparing it to the libraries listed below
Sorting:
- Practical Program Repair via Bytecode Mutation☆65Jun 20, 2022Updated 3 years ago
- ☆19Nov 12, 2025Updated 3 months ago
- A Dataset of 600k Java Source Code Changes Categorized by Diff Size http://arxiv.org/pdf/2108.04631☆23Mar 22, 2024Updated last year
- An implementation of Tare.☆12Feb 23, 2024Updated last year
- The source code repository for the FactorBase system☆10Mar 17, 2024Updated last year
- ☆14Aug 21, 2020Updated 5 years ago
- Checkout our paper: History Driven Program Repair here☆11Mar 15, 2019Updated 6 years ago
- ☆10Feb 9, 2019Updated 7 years ago
- Fast and Precise On-the-fly Patch Validation for All☆10Feb 24, 2023Updated 2 years ago
- The SearchRepair automated C program repair tool (see http://people.cs.umass.edu/~brun/pubs/pubs/Ke15ase.pdf)☆27Mar 13, 2019Updated 6 years ago
- Template-based Automated Program Repair☆54Feb 7, 2024Updated 2 years ago
- Open-science code of the program repair tool described in "Dynamic Patch Generation for Null Pointer Exceptions Using Metaprogramming" (…☆14Updated this week
- A simple Binary Decision Diagram library in Java☆15Jul 15, 2018Updated 7 years ago
- A tool of collecting patch-related commits and parsing patches.☆13Dec 2, 2018Updated 7 years ago
- ☆14Feb 2, 2023Updated 3 years ago
- ☆30Oct 30, 2020Updated 5 years ago
- Port of SwiftyKanren to Kotlin☆18Feb 8, 2021Updated 5 years ago
- STARTS - A tool for STAtic Regression Test Selection☆32Jul 1, 2024Updated last year
- The ParSeMiS project (Parallel and Sequential Graph Mining Suite) searches for frequent, interesting substructures in graph databases. ht…☆46Mar 19, 2020Updated 5 years ago
- Grammar prioritization support for EUSolver.☆14Jul 18, 2019Updated 6 years ago
- Automatically generate (useless?) unit tests for Java☆16Feb 14, 2019Updated 7 years ago
- Koin3D, a java port of Coin3D with LWJGL☆18Oct 25, 2023Updated 2 years ago
- reinforcement learning algorithms from the book by Sutton and Barto☆17Feb 27, 2021Updated 4 years ago
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Oct 17, 2020Updated 5 years ago
- ☆16Apr 26, 2021Updated 4 years ago
- Automatic Repair Framework that abstract repair tools and bug benchmarks☆72May 1, 2023Updated 2 years ago
- ☆15Sep 20, 2019Updated 6 years ago
- ☆16Jul 8, 2024Updated last year
- a Java front-end for Sketch synthesis tool☆20Jan 20, 2025Updated last year
- GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com☆86Aug 20, 2024Updated last year
- ☆20Sep 28, 2018Updated 7 years ago
- A Java program synthesizer.☆22Mar 28, 2019Updated 6 years ago
- Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"☆22Jun 5, 2020Updated 5 years ago
- Experimental bed to study Linux faults☆27Jul 12, 2022Updated 3 years ago
- The Core Algorithm of SmartCommit.☆27Dec 20, 2021Updated 4 years ago
- AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations☆26Apr 26, 2021Updated 4 years ago
- Semantic program repair system for C programs☆100Sep 26, 2022Updated 3 years ago
- System Dependence Graph generation from Java source code☆19Jun 11, 2019Updated 6 years ago
- A tiny deep learning library written in Java☆27Feb 12, 2023Updated 3 years ago