Alternatives and similar repositories for Bunch

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

• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆25Updated 3 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.
  ☆101Updated last year
• osl / jcute
  Java Concolic Unit Testing Engine
  ☆93Updated 11 years ago
• yyxhdy / arja
  Multi-Objective GP for Automated Repair of Java
  ☆45Updated 3 years ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆30Updated last year
• dspinellis / cqmetrics
  C Quality Metrics
  ☆66Updated 3 years ago
• jeantessier / dependency-finder
  A suite of tools for analyzing compiled Java code.
  ☆48Updated last week
• rohanpadhye / vasco
  An inter-procedural data-flow analysis framework using value-based context sensitivity
  ☆91Updated last year
• tingsu / caut-lib
  a CIL-based dynamic symbolic execution (DSE) engine for C language
  ☆10Updated 10 years ago
• osate / examples
  Examples and case-study that use OSATE
  ☆56Updated 7 months ago
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆99Updated 4 years ago
• SpoonLabs / coming
  A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…
  ☆98Updated last year
• LearnLib / learnlib
  A free, open-source Java library for automata learning algorithms
  ☆220Updated last week
• srcML / srcML
  srcML Toolkit
  ☆148Updated 2 weeks ago
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆237Updated last week
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆48Updated last month
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆50Updated last year
• fasten-project / fasten
  Analyse package dependency networks at the call graph level
  ☆95Updated last year
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago
• LearnLib / automatalib
  A free, open-source Java library for automata, graphs, and transition systems
  ☆98Updated last week
• amishne / llvm-ir-editor
  An LLVM IR Editor plugin for Eclipse
  ☆52Updated 11 years ago
• msv-lab / angelix
  Semantic program repair system for C programs
  ☆101Updated 3 years ago
• marko-vasic / ekstaziSharp
  RTS technique for .NET
  ☆12Updated 4 years ago
• SpoonLabs / astor
  Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…
  ☆211Updated 8 months ago
• jburnim / crest
  CREST is a concolic test generation tool for C.
  ☆162Updated 5 years ago
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆57Updated this week
• usethesource / clair
  C Language Analysis in Rascal
  ☆26Updated 4 months ago
• sed-inf-u-szeged / OpenStaticAnalyzer
  OpenStaticAnalyzer is a source code analyzer tool, which can perform deep static analysis of the source code of complex systems.
  ☆48Updated 3 years ago
• GZoltar / gzoltar
  GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com
  ☆86Updated last year
• saeg / jaguar
  JAva code coveraGe faUlt locAlization Rank
  ☆29Updated 4 years ago