kupl / kaprese
☆15Updated this week
Related projects ⓘ
Alternatives and complementary repositories for kaprese
- ☆14Updated last year
- ☆14Updated last year
- A database of real-world C/C++ defaults to experiment in software engineering research☆42Updated 7 months ago
- ☆12Updated 9 months ago
- a safety verifier for Solidity smart contracts☆92Updated last year
- ☆14Updated last year
- ☆17Updated 11 months ago
- ☆19Updated 7 months ago
- ☆48Updated last week
- An Extensible Java Bug Benchmark for Automatic Program Repair Studies☆32Updated 8 months ago
- ☆55Updated 5 months ago
- ☆25Updated 2 years ago
- ☆11Updated 5 months ago
- ☆9Updated last year
- ☆17Updated last month
- A Reproducible Benchmark of Recent Java Bugs☆27Updated 2 weeks ago
- Spectrum-based Fault Localization Engine☆27Updated 4 months ago
- Template-based Automated Program Repair☆42Updated 9 months ago
- A tool for testing SMT solvers for incompleteness bugs☆15Updated 2 years ago
- For our ICSE21 paper "CURE: Code-Aware Neural Machine Translation for Automatic Program Repair" by Nan Jiang, Thibaud Lutellier, and Lin …☆50Updated last year
- ☆44Updated last week
- A mutation tool for source and IR☆13Updated 6 years ago
- ⚙️ Program slicer based on the Mozilla Lithium Tool for Java (also dubbed as Tandem-FL).☆11Updated last month
- ☆29Updated 4 years ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆66Updated this week
- Automatic Repair Framework that abstract repair tools and bug benchmarks☆68Updated last year
- For our ISSTA20 paper "CoCoNuT: Combining Context-Aware Neural Translation Models using Ensemble for Program Repair" by Thibaud Lutellier…☆59Updated last year
- ☆28Updated last year
- This is the tool released in ICSE 2022 paper "Static Inference Meets Deep Learning: A Hybrid Type Inference Approach for Python"☆40Updated last year