kusumotolab / kGenProgView external linksLinks
A High-performance, High-extensibility and High-portability APR System
☆51Sep 3, 2024Updated last year
Alternatives and similar repositories for kGenProg
Users that are interested in kGenProg are comparing it to the libraries listed below
Sorting:
- ☆20Jul 7, 2025Updated 7 months ago
- Open-science code of the program repair tool described in "Dynamic Patch Generation for Null Pointer Exceptions Using Metaprogramming" (…☆14Nov 3, 2024Updated last year
- Defects4J Dissection presents data to help researchers and practitioners to better understand the Defects4J bug dataset☆68Sep 18, 2023Updated 2 years ago
- AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations☆26Apr 26, 2021Updated 4 years ago
- ☆14Feb 2, 2023Updated 3 years ago
- ☆14Aug 21, 2020Updated 5 years ago
- Checkout our paper: History Driven Program Repair here☆11Mar 15, 2019Updated 6 years ago
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆34Jan 22, 2026Updated 3 weeks ago
- A tool of collecting patch-related commits and parsing patches.☆13Dec 2, 2018Updated 7 years ago
- ☆14May 31, 2021Updated 4 years ago
- Data and scripts extending the ManyBugs and Defects4J benchmarks for evaluating applicability of automated program repair techniques.☆15Dec 10, 2017Updated 8 years ago
- GenProg: heuristic, GP-based automatic program repair for C.☆99Sep 1, 2021Updated 4 years ago
- An Extensible Java Bug Benchmark for Automatic Program Repair Studies☆38Mar 4, 2024Updated last year
- Practical Program Repair via Bytecode Mutation☆65Jun 20, 2022Updated 3 years ago
- ☆18Jan 3, 2022Updated 4 years ago
- Official repository for PraPR source code☆14May 11, 2021Updated 4 years ago
- Grammar prioritization support for EUSolver.☆14Jul 18, 2019Updated 6 years ago
- Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…☆214Feb 6, 2026Updated last week
- ICSE 2018 paper implement☆18Jan 8, 2019Updated 7 years ago
- A Dataset of 600k Java Source Code Changes Categorized by Diff Size http://arxiv.org/pdf/2108.04631☆23Mar 22, 2024Updated last year
- Program Vulnerability Repair via Inductive Inference☆20Dec 21, 2023Updated 2 years ago
- Automated program repair bibliography, tools and benchmarks.☆83Apr 7, 2025Updated 10 months ago
- Clone detector using N-gram, Inverted index, and LCS☆20Jan 12, 2025Updated last year
- [ICSE'18] Hierarchical Learning of Cross-Language Mappings through Distributed Vector Representations for Code☆22May 18, 2018Updated 7 years ago
- Template-based Automated Program Repair☆54Feb 7, 2024Updated 2 years ago
- We introduce FixEval , a dataset for competitive programming bug fixing along with a comprehensive test suite and show the necessity of e…☆26Aug 31, 2022Updated 3 years ago
- Type-and-example-driven program synthesis for functional programming languages☆27Jun 30, 2019Updated 6 years ago
- Genetic program repair using GHC☆33May 16, 2024Updated last year
- Fault localization and automated program repair techniques☆34Aug 26, 2025Updated 5 months ago
- This repository contains the dataset of our ISSTA 2018 paper: An Empirical Study on TensorFlow Program Bugs.☆29May 20, 2020Updated 5 years ago
- A Java version of the automatic program repair described by RSRepair and GenProg.☆11Jan 6, 2016Updated 10 years ago
- Evolutionary decision trees☆11Jun 16, 2025Updated 7 months ago
- ☆10Jul 29, 2022Updated 3 years ago
- A library for building intraprocedural PDGs for Java programs☆36Sep 28, 2023Updated 2 years ago
- An easy-to-use scikit-learn inspired implementation of the Multidimensional Multiclass Genetic Programming with Multidimensional Populati…☆11Dec 3, 2025Updated 2 months ago
- Manipulate C-family ASTs with Clang☆69Jun 18, 2014Updated 11 years ago
- GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com☆86Aug 20, 2024Updated last year
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…☆22Jul 28, 2025Updated 6 months ago