Alternatives and similar repositories for gramtest

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

• osl / jcute
  Java Concolic Unit Testing Engine
  ☆89Updated 10 years ago
• themaplelab / averroes
  Java bytecode generator for sound and precise partial program analysis
  ☆24Updated 4 years ago
• ksen007 / janala2
  a concolic testing engine for Java
  ☆106Updated 7 years ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆59Updated 6 months ago
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆96Updated 3 years ago
• amishne / llvm-ir-editor
  An LLVM IR Editor plugin for Eclipse
  ☆51Updated 11 years ago
• pietrobraione / jbse
  A symbolic Java virtual machine for program analysis, verification and test generation
  ☆111Updated 2 weeks ago
• z3str / Z3-str
  A Z3-Based String Constraint Solver
  ☆87Updated 5 years ago
• tingsu / caut-lib
  a CIL-based dynamic symbolic execution (DSE) engine for C language
  ☆10Updated 10 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆100Updated 4 years ago
• agra-uni-bremen / metaSMT
  ☆52Updated 9 years ago
• yuejia / Milu
  A higher order mutation testing tool
  ☆58Updated 4 years ago
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆78Updated 3 years ago
• jburnim / crest
  CREST is a concolic test generation tool for C.
  ☆162Updated 4 years ago
• codelion / pathgrind
  Path based Dynamic Analysis
  ☆117Updated 8 years ago
• codespecs / fjalar
  A dynamic analysis framework for C and C++ programs
  ☆29Updated 2 weeks ago
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆224Updated this week
• psycopaths / jdart
  A dynamic symbolic analysis tool for Java
  ☆120Updated 6 years ago
• STAMP-project / botsing
  Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.
  ☆33Updated 2 years ago
• seahorn / crab
  A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.
  ☆245Updated 8 months ago
• SETTE-Testing / sette-tool
  Source of the Symbolic Execution-based Test Tool Evaluator (SETTE)
  ☆11Updated 2 years ago
• eschulte / clang-mutate
  Manipulate C-family ASTs with Clang
  ☆69Updated 11 years ago
• sampsyo / quala
  custom type systems for Clang
  ☆98Updated 9 years ago
• SpoonLabs / gumtree-spoon-ast-diff
  Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees
  ☆167Updated this week
• cuplv / hopper
  Goal-directed static analysis tool for JVM languages.
  ☆58Updated 9 years ago
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆54Updated 10 months ago
• mc-imperial / jfs
  Constraint solver based on coverage-guided fuzzing
  ☆248Updated last year
• jirislaby / LLVMSlicer
  Static Slicer for LLVM
  ☆66Updated 9 years ago
• regehr / itc-benchmarks
  static analysis benchmarks from Toyota ITC
  ☆113Updated 2 years ago
• rohanpadhye / vasco
  An inter-procedural data-flow analysis framework using value-based context sensitivity
  ☆91Updated last year