Alternatives and similar repositories for refazer

Users that are interested in refazer are comparing it to the libraries listed below

• reudismam / Refazer
  ☆10Updated 6 years ago
• squaresLab / footpatch
  ☆15Updated 5 years ago
• iradicek / clara
  CLuster And RepAir tool for introductory programming assignments
  ☆46Updated last year
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆23Updated last year
• mast-group / mineSStuBs
  Hosts our tool for mining simple "stupid'' bugs (SStuBs).
  ☆38Updated 3 years ago
• squaresLab / ManyBugs
  ☆17Updated 5 years ago
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆96Updated 3 years ago
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆229Updated 2 weeks ago
• program-repair / program-repair.github.io
  Automated program repair bibliography, tools and benchmarks.
  ☆79Updated 4 months ago
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆257Updated last year
• kensens / FrAngel
  A Java program synthesizer.
  ☆21Updated 6 years ago
• skyhover / Deckard
  Code clone detection; clone-related bug detection; sematic clone analysis
  ☆219Updated last year
• SLP-team / SLP-Core
  Your library for dynamic language modeling
  ☆67Updated 6 years ago
• xgdsmileboy / GenPat
  This is an automated transformation inference tool that leverages a big code corpus to guide the abstraction of transformation patterns.
  ☆29Updated 3 years ago
• DeepTyper / DeepTyper
  ☆49Updated 5 years ago
• codeflaws / codeflaws
  This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)
  ☆43Updated 4 years ago
• program-repair / RepairThemAll
  Automatic Repair Framework that abstract repair tools and bug benchmarks
  ☆71Updated 2 years ago
• SpoonLabs / nopol
  Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
  ☆100Updated 9 months ago
• wslee / duet
  ☆20Updated 4 months ago
• xuanbachle / bugfixes
  Checkout our paper: History Driven Program Repair here
  ☆11Updated 6 years ago
• nguyenhoan / CPatMiner
  ☆23Updated last year
• wogscpar / SZZUnleashed
  An implementation of the SZZ algorithm, i.e., an approach to identify bug-introducing commits.
  ☆119Updated last year
• spcl / ncc
  Neural Code Comprehension: A Learnable Representation of Code Semantics
  ☆213Updated 8 months ago
• ASSERT-KTH / CodRep
  58069 Java source code diffs. http://arxiv.org/pdf/1807.03200
  ☆94Updated 6 years ago
• microsoft / python-program-analysis
  A Typescript library for parsing Python 3 and doing basic program analysis, like forming control-flow graphs and def-use chains.
  ☆54Updated 5 years ago
• PL-ML / code2inv
  Code2Inv: Learning Loop Invariants for Program Verification
  ☆97Updated 4 years ago
• GZoltar / gzoltar
  GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com
  ☆81Updated 11 months ago
• jjhenkel / code-vectors-artifact
  Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"
  ☆22Updated 5 years ago
• prapr / prapr
  Practical Program Repair via Bytecode Mutation
  ☆65Updated 3 years ago
• acmsigsoft / submission-checker
  Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations
  ☆62Updated 3 years ago