program-repair-project / bugfixer-testbench
☆14Updated 2 years ago
Alternatives and similar repositories for bugfixer-testbench:
Users that are interested in bugfixer-testbench are comparing it to the libraries listed below
- ☆14Updated 2 years ago
- ☆58Updated this week
- ☆43Updated 3 months ago
- ☆11Updated 9 months ago
- ☆45Updated 4 months ago
- ☆28Updated last year
- ☆19Updated 2 months ago
- ☆15Updated last year
- ☆9Updated last year
- ☆15Updated 3 months ago
- american fuzzy lop - a security-oriented fuzzer☆10Updated last year
- A database of real-world C/C++ defaults to experiment in software engineering research☆47Updated 11 months ago
- ☆21Updated 3 years ago
- ☆15Updated last year
- ☆19Updated last year
- The Sparrow Static Analyzer☆125Updated 3 years ago
- ☆14Updated last year
- Concurrent-C to Rust Automatic Translator☆15Updated 2 years ago
- ☆18Updated 5 years ago
- One-for-all python script for running LLVM experiment☆11Updated 2 years ago
- Unveiling Bluetooth L2CAP Vulnerabilities via State Cluster Fuzzing with Target-Oriented State Machines☆22Updated last year
- ☆37Updated 4 months ago
- CROWN: Concolic testing for Real-wOrld softWare aNalysis☆3Updated 5 years ago
- A practical fuzzing tool for SMT solvers☆11Updated 7 months ago
- A tool for testing SMT solvers for incompleteness bugs☆15Updated 2 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…☆30Updated 2 years ago
- ☆24Updated last year
- ☆33Updated 6 years ago
- ☆12Updated 9 months ago