Alternatives and similar repositories for gin:

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

• yyxhdy / arja
  Multi-Objective GP for Automated Repair of Java
  ☆43Updated 2 years ago
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago
• runtimeverification / javamop
  Runtime verification system for Java, using AspectJ for instrumentation.
  ☆46Updated 2 years ago
• acmsigsoft / submission-checker
  Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations
  ☆61Updated 3 years ago
• program-repair / RepairThemAll
  Automatic Repair Framework that abstract repair tools and bug benchmarks
  ☆70Updated 2 years ago
• GZoltar / gzoltar
  GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com
  ☆78Updated 8 months ago
• soarsmu / BugsInPy
  BugsInPy: Benchmarking Bugs in Python Projects
  ☆96Updated 10 months ago
• atom-sw / fauxpy
  An automated fault localization tool for Python programs.
  ☆24Updated 3 weeks ago
• squaresLab / footpatch
  ☆15Updated 5 years ago
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆22Updated last year
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 5 years ago
• coinse / pyggi
  Python General Framework for Genetic Improvement [Version 2]
  ☆29Updated last year
• SpoonLabs / astor
  Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…
  ☆210Updated last month
• codeflaws / codeflaws
  This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)
  ☆41Updated 4 years ago
• nus-apr / cerberus
  Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…
  ☆69Updated 5 months ago
• acmsigsoft / open-science-policies
  Open science policies for SIGSOFT venues
  ☆13Updated last year
• utopia-group / sypet
  SyPet: Component-Based Synthesis for Complex APIs
  ☆20Updated 6 years ago
• ataraxie / codeshovel
  Git history navigation for dedicated methods, across all kinds of changes incl. complex refactorings.
  ☆40Updated last year
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆93Updated 3 years ago
• program-repair / defects4j-dissection
  Defects4J Dissection presents data to help researchers and practitioners to better understand the Defects4J bug dataset
  ☆65Updated last year
• SpoonLabs / nopol
  Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
  ☆98Updated 6 months ago
• squaresLab / genprog4java
  ☆18Updated 7 months ago
• mast-group / mineSStuBs
  Hosts our tool for mining simple "stupid'' bugs (SStuBs).
  ☆36Updated 2 years ago
• hephaestus-compiler-project / thalia
  A framework for testing compilers' type checkers
  ☆17Updated 5 months ago
• xuanbachle / bugfixes
  Checkout our paper: History Driven Program Repair here
  ☆11Updated 6 years ago
• TestingResearchIllinois / starts
  STARTS - A tool for STAtic Regression Test Selection
  ☆29Updated 10 months ago
• albertocasagrande / pyModelChecking
  A Python model checking package
  ☆65Updated 8 months ago
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆66Updated 3 weeks ago
• lascam-UFU / automatic-diff-dissection
  ADD extracts features from patches such as repair patterns.
  ☆13Updated last year
• sola-st / DynaPyt
  Dynamic analysis framework for Python
  ☆69Updated 5 months ago