Alternatives and similar repositories for bixie:

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

• SRI-CSL / bixie
  Inconsistent code detection for Java.
  ☆14Updated 6 years ago
• ksen007 / janala2
  a concolic testing engine for Java
  ☆102Updated 6 years ago
• jgalenson / codehint
  Eclipse plugin that synthesizes real Java code
  ☆26Updated 10 years ago
• jandom-devel / Jandom
  An abstract-interpretation based static analyzer written in Scala.
  ☆33Updated 2 years ago
• jayhorn / jayhorn
  Static checker for Java
  ☆84Updated this week
• acieroid / scala-am
  (Abstract) Abstract Machine Experiments using Scala
  ☆34Updated 4 years ago
• david-schuler / javalanche
  Efficient Mutation Testing for Java
  ☆38Updated 2 years ago
• cderoove / damp.ekeko
  Applicative logic meta-programming using Clojure's core.logic against an Eclipse workspace.
  ☆42Updated 3 years ago
• psycopaths / jconstraints
  A constraint solver abstraction layer for Java
  ☆21Updated last year
• osl / jcute
  Java Concolic Unit Testing Engine
  ☆88Updated 10 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆74Updated last year
• wala / ML
  ☆26Updated this week
• tingsu / caut-lib
  a CIL-based dynamic symbolic execution (DSE) engine for C language
  ☆10Updated 9 years ago
• STAMP-project / botsing
  Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.
  ☆32Updated 2 years ago
• jjhenkel / code-vectors-artifact
  Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"
  ☆22Updated 4 years ago
• codelion / gramtest
  GramTest: A tool for Grammar based Test case generation
  ☆85Updated last year
• cuplv / hopper
  Goal-directed static analysis tool for JVM languages.
  ☆57Updated 8 years ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆28Updated 3 months ago
• sarda-nikhil / Sypy
  A symbolic execution engine for Python
  ☆45Updated 12 years ago
• regb / scala-smtlib
  Scala library for parsing and printing the SMT-LIB format
  ☆44Updated 2 years ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆65Updated last year
• squaresLab / footpatch
  ☆15Updated 5 years ago
• boalang / compiler
  The Boa language reference compiler.
  ☆33Updated last month
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆94Updated this week
• boogie-org / jar2bpl
  Translate java jar files into Boogie programs
  ☆12Updated 9 months ago
• amaurremi / IDE
  Interprocedural Distributive Environment algorithm implementation
  ☆16Updated 9 years ago
• saltlab / BugAID
  A tool for learning bug patterns.
  ☆11Updated 8 years ago
• MagpieBridge / MagpieBridge
  MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration
  ☆79Updated 3 months ago
• smtlib / jSMTLIB
  jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…
  ☆26Updated 2 years ago