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.
- jpf-core
- jpf-jdart
Install project and dependencies, update your
~/.jpf/site.properties
accordingly.
Examples can be found in src/examples/