compsuite-team / compsuite
☆10Updated last year
Alternatives and similar repositories for compsuite:
Users that are interested in compsuite are comparing it to the libraries listed below
- Bugs.jar: A Large-scale, Diverse Dataset of Bugs for Java Program Repair☆53Updated 7 years ago
- An Extensible Java Bug Benchmark for Automatic Program Repair Studies☆33Updated 11 months ago
- ☆18Updated 4 months ago
- Automatic Repair Framework that abstract repair tools and bug benchmarks☆70Updated last year
- JavaSlicer is an open-source dynamic slicing tool developed at Saarland University☆43Updated 4 years ago
- Fast and Precise On-the-fly Patch Validation for All☆10Updated last year
- Automated program repair bibliography, tools and benchmarks.☆76Updated 3 months ago
- GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com☆78Updated 6 months ago
- A Reproducible Benchmark of Recent Java Bugs☆32Updated last week
- A dataset of reproducible breaking dependency updates, SANER 2024 (https://doi.org/10.1109/SANER60148.2024.00024)☆17Updated this week
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆69Updated 2 months ago
- A program slicer for Java, based on the system dependence graph (SDG).☆64Updated last year
- A learning-guided approach for executing arbitrary Python code snippets☆15Updated 11 months ago
- ☆19Updated last month
- Practical Program Repair via Bytecode Mutation☆64Updated 2 years ago
- Open-science repo for our experimental results of automatic software repair on the Defects4J benchmark of Java bugs☆35Updated 3 years ago
- Defects4J Dissection presents data to help researchers and practitioners to better understand the Defects4J bug dataset☆61Updated last year
- ☆23Updated last month
- ☆18Updated 9 months ago
- ☆14Updated 2 years ago
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆98Updated 4 months ago
- Template-based Automated Program Repair☆43Updated last year
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆61Updated 3 years ago
- Symbolic PathFinder☆135Updated 4 months ago
- This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…☆27Updated 5 months ago
- Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.☆25Updated 2 months ago
- Vul4J: A Dataset of Reproducible Java Vulnerabilities☆74Updated 5 months ago
- We propose a novel DL-based mutation technique (LEAM), which adapts the syntax-guided encoder-decoder architecture to build two sub-model…☆27Updated 8 months ago
- STARTS - A tool for STAtic Regression Test Selection☆29Updated 7 months ago
- A tool of collecting patch-related commits and parsing patches.☆13Updated 6 years ago