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
  ☆88Updated 10 years ago
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆94Updated 3 years ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆59Updated 4 months ago
• ksen007 / janala2
  a concolic testing engine for Java
  ☆106Updated 7 years ago
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆224Updated last week
• themaplelab / averroes
  Java bytecode generator for sound and precise partial program analysis
  ☆23Updated 3 years ago
• z3str / Z3-str
  A Z3-Based String Constraint Solver
  ☆87Updated 5 years ago
• renatahodovan / grammarinator
  ANTLR v4 grammar-based test generator
  ☆366Updated 2 months ago
• amishne / llvm-ir-editor
  An LLVM IR Editor plugin for Eclipse
  ☆51Updated 11 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆100Updated 4 years ago
• yuejia / Milu
  A higher order mutation testing tool
  ☆58Updated 4 years ago
• saswatanand / acteve
  Dynamic Symbolic Execution of Android Apps
  ☆22Updated 9 years ago
• sampsyo / quala
  custom type systems for Clang
  ☆97Updated 9 years ago
• jburnim / crest
  CREST is a concolic test generation tool for C.
  ☆161Updated 4 years ago
• psycopaths / jconstraints
  A constraint solver abstraction layer for Java
  ☆21Updated 2 years ago
• codelion / pathgrind
  Path based Dynamic Analysis
  ☆116Updated 8 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
• pietrobraione / jbse
  A symbolic Java virtual machine for program analysis, verification and test generation
  ☆110Updated last month
• agra-uni-bremen / metaSMT
  ☆52Updated 9 years ago
• SpoonLabs / gumtree-spoon-ast-diff
  Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees
  ☆165Updated last week
• seahorn / crab
  A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.
  ☆240Updated 6 months ago
• SETTE-Testing / sette-tool
  Source of the Symbolic Execution-based Test Tool Evaluator (SETTE)
  ☆11Updated 2 years ago
• cuplv / hopper
  Goal-directed static analysis tool for JVM languages.
  ☆58Updated 8 years ago
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆184Updated 3 years ago
• tingsu / caut-lib
  a CIL-based dynamic symbolic execution (DSE) engine for C language
  ☆10Updated 10 years ago
• regehr / itc-benchmarks
  static analysis benchmarks from Toyota ITC
  ☆113Updated 2 years ago
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆77Updated 3 years ago
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆90Updated 4 years ago
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆52Updated 9 months ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆47Updated 6 months ago