ProgramRepair / SearchRepair
The SearchRepair automated C program repair tool (see http://people.cs.umass.edu/~brun/pubs/pubs/Ke15ase.pdf)
☆26Updated 6 years ago
Alternatives and similar repositories for SearchRepair:
Users that are interested in SearchRepair are comparing it to the libraries listed below
- Official repository for PraPR source code☆14Updated 3 years ago
- ☆19Updated 3 years ago
- Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"☆22Updated 4 years ago
- This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)☆41Updated 4 years ago
- Keep your bugs contained. A platform for studying historical software bugs.☆69Updated 3 months ago
- ☆26Updated 2 weeks ago
- ☆16Updated 5 years ago
- ☆56Updated last year
- CoREBench: Errors in Find, Grep, Make☆13Updated 9 years ago
- ☆15Updated 5 years ago
- Lightweight tool for slicing☆35Updated 3 weeks ago
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆20Updated 3 years ago
- ☆32Updated last month
- ☆14Updated last year
- Interprocedural Distributive Environment algorithm implementation☆16Updated 9 years ago
- ☆20Updated 6 years ago
- Grammar prioritization support for EUSolver.☆12Updated 5 years ago
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆47Updated 3 years ago
- ☆25Updated 3 years ago
- ☆14Updated 4 years ago
- Code Search Based Automated Repair Technique☆9Updated 4 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 4 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆29Updated 9 months ago
- DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…☆41Updated 2 weeks ago
- A powerful relational representation of source code☆31Updated last year
- ☆26Updated 4 years ago
- System Dependence Graph generation from Java source code☆19Updated 5 years ago
- Java bytecode generator for sound and precise partial program analysis☆23Updated 3 years ago
- Checkout our paper: History Driven Program Repair here☆11Updated 6 years ago
- An empirical study on patch correctness☆15Updated 2 years ago