Alternatives and similar repositories for jxydiff

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

• ksen007 / janala2
  a concolic testing engine for Java
  ☆106Updated 7 years ago
• martinschaef / bixie
  Inconsistent Code Detection for Java
  ☆11Updated 4 years ago
• osl / jcute
  Java Concolic Unit Testing Engine
  ☆89Updated 10 years ago
• david-schuler / javalanche
  Efficient Mutation Testing for Java
  ☆38Updated 2 years ago
• walkmod / walkmod-refactor-plugin
  Refactor utilities for Java code
  ☆13Updated 7 years ago
• kevoree-modeling / framework
  The Kevoree Modeling Framework
  ☆42Updated 9 years ago
• jandom-devel / Jandom
  An abstract-interpretation based static analyzer written in Scala.
  ☆33Updated 3 years ago
• stephenfreund / RoadRunner
  ☆75Updated 7 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
• emina / kodkod
  Kodkod solver for relational logic
  ☆75Updated last year
• cuplv / thresher
  Static heap reachability analysis for Java bytecode and Android memory leak finder.
  ☆32Updated 10 years ago
• tomokinakamaru / silverchain
  Fluent API generator
  ☆41Updated last week
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆68Updated 2 months ago
• svn2github / SAT4J
  This is a clone of an SVN repository at svn://svn.forge.objectweb.org/svnroot/sat4j/maven/trunk. It had been cloned by http://svn2github.…
  ☆9Updated 8 years ago
• beckus / AlloyAnalyzer
  An unofficial copy of MIT's Alloy Analyzer model checking tool.
  ☆20Updated 12 years ago
• usethesource / vallang
  Generic immutable recursive data representation API targeted at source code models and more.
  ☆35Updated this week
• cuplv / hopper
  Goal-directed static analysis tool for JVM languages.
  ☆58Updated 9 years ago
• saltlab / JSeft
  ☆17Updated 10 years ago
• rpau / javalang
  Java 8 parser
  ☆22Updated last year
• ftomassetti / python-ast
  Python parser built using ANTLR
  ☆43Updated 9 years ago
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 6 years ago
• cs-au-dk / Artemis
  automated testing for JavaScript
  ☆36Updated 7 years ago
• SpoonLabs / gumtree-spoon-ast-diff
  Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees
  ☆167Updated last week
• psycopaths / jconstraints
  A constraint solver abstraction layer for Java
  ☆21Updated 2 years ago
• bondo / symbolic-execution
  ☆20Updated 11 years ago
• tunnelvisionlabs / antlr4
  The highly-optimized fork of ANTLR 4 (see README)
  ☆73Updated last year
• melix / antlr4-gradle-plugin
  Antlr4 plugin for Gradle
  ☆41Updated 4 years ago
• codefeedr / codefeedr
  CodeFeedr core infrastructure
  ☆10Updated 4 years ago
• osl / concolic-walk
  Implementation and evaluation data of the Concolic Walk heuristic for solving complex arithmetic path conditions.
  ☆14Updated 10 years ago
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆94Updated 2 weeks ago