Pietro Braione's repositories
jbse-examples
Some examples to learn how to use JBSE
jbse-manual
A manual for using and modifying JBSE
sushi-experiments
Various SUSHI experiments (data structures, GanttProject, TSAFE)
sushi-experiments-closure01
Google Closure compiler SUSHI experiment, bug 01
sushi-experiments-closure72
Google Closure compiler SUSHI experiment, bug 72
argouml
Main project of argouml. Some information in the wiki. Some old releases in releases.
daikon
Dynamic detection of likely invariants
fund-my-project
A directory of verified programs that offer grants + funding towards side projects/startups
jdk8u
https://wiki.openjdk.org/display/jdk8u
jpose
Path-optimal symbolic execution, in Java
pose
Path-optimal symbolic execution
tardis-experiments
Some experiment subjects that demonstrate the use of TARDIS