A tool for generating symbolic interfaces for software components
Branch: master
Clone or download
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
.externalToolBuilders First commit Oct 22, 2015
lib made it build again Sep 2, 2016
nbproject Try to resolve development setup problems. This file should not be in… May 24, 2016
result script used to evaluate results Aug 5, 2016
scripts revied vagrant file and more changes according to Falks feedback. Aug 22, 2016
src reverted changes to examples Oct 6, 2016
.classpath Updates to classpath and added guava lib Nov 5, 2015
.gitignore second try for gitignore result. Aug 11, 2016
.project First commit Oct 22, 2015
LICENSE First commit Oct 22, 2015
README.md First commit Oct 22, 2015
Vagrantfile
build.xml made it build again Sep 2, 2016
jpf.properties

README.md

PSYCO

jpf-psyco generates symbolic interfaces for software components using concolic execution. The ideas behind PSYCO are discussed in

D. Giannakopoulou, Z. Rakamaric, and V. Raman. Symbolic Learning of Component Interfaces. SAS 2012.

Dependencies

  • jpf-core
  • jpf-jdart

Installation

Install project and dependencies, update your

~/.jpf/site.properties

accordingly.

How to use

Examples can be found in src/examples/