program-repair-project / bugfixer-testbenchLinks
☆14Updated 3 years ago
Alternatives and similar repositories for bugfixer-testbench
Users that are interested in bugfixer-testbench are comparing it to the libraries listed below
Sorting:
- ☆14Updated 3 years ago
- ☆55Updated last month
- ☆63Updated last week
- ☆11Updated last year
- ☆28Updated 2 years ago
- ☆48Updated last month
- ☆16Updated 2 weeks ago
- ☆21Updated 9 months ago
- The Sparrow Static Analyzer☆127Updated 4 years ago
- ☆16Updated 2 years ago
- ☆19Updated 2 years ago
- ☆35Updated last year
- A database of real-world C/C++ defaults to experiment in software engineering research☆61Updated last year
- ☆22Updated 4 years ago
- One-for-all python script for running LLVM experiment☆11Updated 3 years ago
- american fuzzy lop - a security-oriented fuzzer☆11Updated last year
- ☆15Updated 4 months ago
- ☆11Updated last year
- ☆15Updated 2 years ago
- Tutorial for refinement based verification☆15Updated this week
- Apron Numerical Abstract Domain Library☆144Updated 10 months ago
- Scalable Analysis Framework for ECMAScript☆118Updated 4 years ago
- ☆82Updated 7 months ago
- ☆28Updated 2 months ago
- ☆36Updated 4 months ago
- EOPL in Haskell☆22Updated 2 months 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
- ☆19Updated 6 years ago
- ☆15Updated 2 months ago
- A tool for testing SMT solvers for incompleteness bugs☆17Updated 3 years ago