BugSwarm / bugswarmLinks
☆35Updated 5 months ago
Alternatives and similar repositories for bugswarm
Users that are interested in bugswarm are comparing it to the libraries listed below
Sorting:
- ☆24Updated 4 years ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆73Updated 11 months ago
- ☆146Updated 4 months ago
- ☆74Updated 2 years ago
- Automated program repair bibliography, tools and benchmarks.☆82Updated 6 months ago
- Program Vulnerability Repair via Inductive Inference☆20Updated last year
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆75Updated 2 months ago
- ☆120Updated 2 years ago
- ☆58Updated last year
- ☆16Updated 3 months ago
- An empirical study on patch correctness☆15Updated 2 years ago
- A tool of collecting patch-related commits and parsing patches.☆13Updated 6 years ago
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆80Updated 2 years ago
- GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com☆85Updated last year
- A Reproducible Benchmark of Recent Java Bugs☆42Updated 2 months ago
- This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)☆44Updated 4 years ago
- BigCloneEval - A Clone Detection Tool Evaluation Framework for BigCloneBench☆80Updated last year
- ☆15Updated 2 years ago
- A learning-guided approach for executing arbitrary Python code snippets☆18Updated last year
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆64Updated 3 years ago
- ☆18Updated last year
- Fast and Precise On-the-fly Patch Validation for All☆10Updated 2 years ago
- ☆13Updated last year
- Fuzzing Automatic Differentiation in Deep-Learning Libraries (ICSE'23)☆25Updated last year
- Vul4J: A Dataset of Reproducible Java Vulnerabilities☆100Updated last month
- TeCo: an ML+Execution model for test completion☆31Updated last year
- An Extensible Java Bug Benchmark for Automatic Program Repair Studies☆36Updated last year
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆53Updated 2 months ago
- This project provides several implementations for commit untangling and proposes a new representation of git patches by projecting the pa…☆11Updated 2 months ago
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated 3 months ago