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

Install project and dependencies, update your

~/.jpf/site.properties

accordingly.

Examples can be found in src/examples/

Name		Name	Last commit message	Last commit date
Latest commit History 66 Commits
.externalToolBuilders		.externalToolBuilders
lib		lib
nbproject		nbproject
result		result
scripts		scripts
src		src
.classpath		.classpath
.gitignore		.gitignore
.project		.project
LICENSE		LICENSE
README.md		README.md
Vagrantfile		Vagrantfile
build.xml		build.xml
jpf.properties		jpf.properties