☆18Sep 12, 2019Updated 6 years ago
Alternatives and similar repositories for ManyBugs
Users that are interested in ManyBugs are comparing it to the libraries listed below
Sorting:
- Keep your bugs contained. A platform for studying historical software bugs.☆69Jan 8, 2025Updated last year
- ☆15Sep 20, 2019Updated 6 years ago
- Data and scripts extending the ManyBugs and Defects4J benchmarks for evaluating applicability of automated program repair techniques.☆15Dec 10, 2017Updated 8 years ago
- NeonGoby alias analysis checker☆14Jul 2, 2013Updated 12 years ago
- The C parser for GumTree☆14Sep 25, 2020Updated 5 years ago
- A Python library for easy and fast program transformation/repair☆15Oct 26, 2021Updated 4 years ago
- ☆32Jan 14, 2025Updated last year
- 一款高效的视频总结的浏览器插件。☆11Nov 2, 2024Updated last year
- Auto-Tracker with logic for The Legend of Zelda: Ocarina of Time on Project64, BizHawk, m64p, RetroArch, and RMG☆24Aug 23, 2023Updated 2 years ago
- ☆18Oct 3, 2024Updated last year
- GRu4Rec in TensorFlow☆14Apr 11, 2018Updated 7 years ago
- Automatic Repair Framework that abstract repair tools and bug benchmarks☆72May 1, 2023Updated 2 years ago
- FixMorph is a morphing tool for C source codes which supports automated code-transfer☆35Apr 9, 2025Updated 11 months ago
- ☆13Jul 6, 2023Updated 2 years ago
- Repo used to share the demos from the "Seeking SRE" (O'Reilly Media, 2018) used in D.C. Vienna 2017☆14Sep 27, 2017Updated 8 years ago
- Defects4J Dissection presents data to help researchers and practitioners to better understand the Defects4J bug dataset☆68Sep 18, 2023Updated 2 years ago
- Grammar prioritization support for EUSolver.☆14Jul 18, 2019Updated 6 years ago
- A hubot script to list and remind you about open pull requests☆16Sep 14, 2018Updated 7 years ago
- cppminer produces a code2seq compatible datasets from C++ code bases.☆23Apr 5, 2020Updated 5 years ago
- Lint R on the fly, using lintr☆11Jul 28, 2023Updated 2 years ago
- This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)☆44Nov 18, 2020Updated 5 years ago
- GenProg: heuristic, GP-based automatic program repair for C.☆100Sep 1, 2021Updated 4 years ago
- A dataset of Java bugs for automatic repair, derived from the C bugs of IntroClass☆14Aug 11, 2021Updated 4 years ago
- ☆15Dec 8, 2022Updated 3 years ago
- For our ISSTA20 paper "CoCoNuT: Combining Context-Aware Neural Translation Models using Ensemble for Program Repair" by Thibaud Lutellier…☆62Mar 30, 2023Updated 2 years ago
- LLVM optimization passes (DCE, LICM), compilers and stuff☆14Dec 10, 2020Updated 5 years ago
- Embedding-based evaluation metrics for dialogue generation.☆15Jan 8, 2023Updated 3 years ago
- LaTeX style for NUS Qualifying Examination.☆19Mar 13, 2018Updated 8 years ago
- Integrated database of papers and programme committee composition for software engineering conferences.☆35Apr 28, 2023Updated 2 years ago
- tree-sitter grammar for SATySFi☆19Apr 8, 2023Updated 2 years ago
- Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"☆22Jun 5, 2020Updated 5 years ago
- OCaml record fields as first class values☆22Jan 15, 2026Updated 2 months ago
- Replication package of a paper "Large Language Models are Few-shot Testers: Exploring LLM-based General Bug Reproduction"☆26Sep 7, 2023Updated 2 years ago
- ☆26Oct 2, 2023Updated 2 years ago
- Open-science repo for our experimental results of automatic software repair on the Defects4J benchmark of Java bugs☆37Nov 12, 2025Updated 4 months ago
- ⚙️ Program slicer based on the Mozilla Lithium Tool for Java (also dubbed as Tandem-FL).☆11Oct 21, 2024Updated last year
- Docker container for an OCaml + OPAM setup☆24Nov 28, 2016Updated 9 years ago
- ☆34Nov 11, 2021Updated 4 years ago
- A DSL for Linear Temporal Logic + Interface with Z3 for solving☆11Mar 12, 2015Updated 11 years ago