kupl / kapreseLinks
☆16Updated 3 weeks ago
Alternatives and similar repositories for kaprese
Users that are interested in kaprese are comparing it to the libraries listed below
Sorting:
- ☆35Updated 11 months ago
- ☆14Updated 2 years ago
- ☆14Updated 2 years ago
- A database of real-world C/C++ defaults to experiment in software engineering research☆57Updated last year
- ☆55Updated this week
- ☆62Updated 2 months ago
- ☆33Updated last week
- ☆28Updated last month
- ☆15Updated 2 months ago
- a safety verifier for Solidity smart contracts☆96Updated 2 years ago
- ☆48Updated this week
- ☆15Updated 2 years ago
- A practical fuzzing tool for SMT solvers☆11Updated this week
- The Sparrow Static Analyzer☆127Updated 4 years ago
- ☆11Updated last year
- ☆24Updated 3 weeks ago
- ☆24Updated 11 months ago
- ☆28Updated 2 years ago
- ☆21Updated 7 months ago
- Spectrum-based Fault Localization Engine☆28Updated last year
- A tool for testing SMT solvers for incompleteness bugs☆15Updated 3 years ago
- CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…☆33Updated 3 years ago
- A tool for identifying patch correctness in test-based program repair☆20Updated 5 years ago
- ADAPT is the open source white-box testing framework for deep neural networks☆22Updated 2 years ago
- Template-based Automated Program Repair☆52Updated last year
- One-for-all python script for running LLVM experiment☆11Updated 3 years ago
- An Extensible Java Bug Benchmark for Automatic Program Repair Studies☆37Updated last year
- This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)☆44Updated 5 years ago
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated 4 months ago
- ☆12Updated 5 months ago