Repositories list

• jpf-costar

  Public
  Test input generation using separation logic

  unit-testingtest-automationtesting-tools+ 3separation-logictesting-frameworkconcolic-execution

  Java

  •2•3•1•0•Updated Nov 15, 2022Nov 15, 2022

• gaia

  Public
  Java

  •0•0•0•0•Updated Oct 19, 2019Oct 19, 2019

• starlib

  Public
  A library for handling separation logic constraints

  Java

  •1•0•0•0•Updated Oct 19, 2019Oct 19, 2019

• jpf-core

  Public
  The core of Java PathFinder

  javamodel-checkingmodel-checker

  Java

  •0•0•0•0•Updated Oct 14, 2019Oct 14, 2019

• jpf-star

  Public
  Test input generation using separation logic

  unit-testingtest-automationsymbolic-execution+ 3testing-toolsseparation-logictesting-framework

  Java

  •

  MIT License

  •2•9•1•0•Updated Jul 5, 2019Jul 5, 2019

• star-finder.github.io

  Public
  HTML

  •0•0•0•0•Updated Jul 4, 2019Jul 4, 2019

• jpf-symbc

  Public
  Symbolic PathFinder

  javasymbolic-executionsymbolic-execution-engine

  Java

  •0•4•0•0•Updated Feb 6, 2019Feb 6, 2019

• benchmarks

  Public
  Java

  •0•0•0•0•Updated Feb 5, 2019Feb 5, 2019

• star-examples

  Public
  Java

  •0•0•0•0•Updated Dec 29, 2017Dec 29, 2017

• star-dev

  Public
  Scripts to set up the environment

  0•0•0•0•Updated Dec 5, 2017Dec 5, 2017

• jconstraints

  Public
  Java

  •

  Apache License 2.0

  •0•0•0•0•Updated Nov 30, 2017Nov 30, 2017

• s2sat

  Public
  0•0•0•0•Updated Sep 14, 2017Sep 14, 2017