kupl / kapreseLinks
☆15Updated 9 months ago
Alternatives and similar repositories for kaprese
Users that are interested in kaprese are comparing it to the libraries listed below
Sorting:
- ☆36Updated 8 months ago
- ☆14Updated 2 years ago
- ☆14Updated 2 years ago
- A database of real-world C/C++ defaults to experiment in software engineering research☆52Updated last year
- ☆15Updated last year
- ☆23Updated 2 years ago
- ☆24Updated 8 months ago
- ☆27Updated 3 months ago
- ☆15Updated last year
- The Sparrow Static Analyzer☆126Updated 3 years ago
- ☆44Updated last week
- ☆48Updated last month
- a safety verifier for Solidity smart contracts☆97Updated 2 years ago
- ☆23Updated last week
- ☆62Updated 2 months ago
- A tool for testing SMT solvers for incompleteness bugs☆15Updated 2 years ago
- ☆20Updated 4 months ago
- This is the tool released in ICSE 2022 paper "Static Inference Meets Deep Learning: A Hybrid Type Inference Approach for Python"☆43Updated last year
- Spectrum-based Fault Localization Engine☆29Updated last year
- ☆20Updated last month
- An Extensible Java Bug Benchmark for Automatic Program Repair Studies☆36Updated last year
- A practical fuzzing tool for SMT solvers☆11Updated this week
- Template-based Automated Program Repair☆49Updated last year
- Collection of Verification Tasks (MOVED, please follow the link)☆184Updated 3 years ago
- ☆29Updated 3 years ago
- For our ISSTA20 paper "CoCoNuT: Combining Context-Aware Neural Translation Models using Ensemble for Program Repair" by Thibaud Lutellier…☆62Updated 2 years ago
- A learning-guided approach for executing arbitrary Python code snippets☆18Updated last year
- Artifact of a paper “Fonte: Finding Bug Inducing Commits From Failures” (ICSE'23)☆12Updated last year
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated 2 months ago
- ☆28Updated 2 years ago