• An automatic testing tool for Java software

    Python 9 4 GPL-3.0 Updated May 21, 2018
  • jConstraints abstraction layer for the SMTInterpol solver

    Java 1 Apache-2.0 Updated Apr 20, 2018
  • A dynamic symbolic analysis tool for Java

    Java 41 20 Apache-2.0 Updated Feb 7, 2018
  • A tool for generating symbolic interfaces for software components

    Java 6 3 Apache-2.0 Updated Oct 6, 2016
  • jConstraints abstraction layer for Z3

    Java 5 5 Apache-2.0 Updated Oct 6, 2016
  • A constraint solver abstraction layer for Java

    Java 11 5 Apache-2.0 Updated Oct 6, 2016
  • Examples for JDoop

    Makefile 1 1 Updated Nov 13, 2015
  • jConstraints abstraction layer for the dReal solver

    Java 1 1 Apache-2.0 Updated Nov 4, 2015
  • jConstraints abstraction layer for the CORAL solver

    Java 2 1 Apache-2.0 Updated Oct 22, 2015
  • jConstraints abstraction layer for the Concolic Walk algorithm

    Java 1 1 Apache-2.0 Updated Oct 22, 2015