pietrobraione
I am an associate professor working in the field of automated software analysis and test generation.
UniversitĂ degli Studi di Milano-BicoccaMilan, Italy
Pinned Repositories
gasp
A tool that performs WCET analysis on Java software
jbse
A symbolic Java virtual machine for program analysis, verification and test generation
jbse-examples
Some examples to learn how to use JBSE
jbse-manual
A manual for using and modifying JBSE
sushi
The SUSHI test case generator
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
sushi-lib
The runtime library part of SUSHI
tardis
The TARDIS concolic test case generator
pietrobraione's Repositories
pietrobraione/jbse
A symbolic Java virtual machine for program analysis, verification and test generation
pietrobraione/sushi
The SUSHI test case generator
pietrobraione/tardis
The TARDIS concolic test case generator
pietrobraione/jbse-examples
Some examples to learn how to use JBSE
pietrobraione/gasp
A tool that performs WCET analysis on Java software
pietrobraione/sushi-lib
The runtime library part of SUSHI
pietrobraione/jbse-manual
A manual for using and modifying JBSE
pietrobraione/sushi-experiments
Various SUSHI experiments (data structures, GanttProject, TSAFE)
pietrobraione/sushi-experiments-closure01
Google Closure compiler SUSHI experiment, bug 01
pietrobraione/sushi-experiments-closure72
Google Closure compiler SUSHI experiment, bug 72
pietrobraione/argouml
Main project of argouml. Some information in the wiki. Some old releases in releases.
pietrobraione/daikon
Dynamic detection of likely invariants
pietrobraione/evosuite
EvoSuite - automated generation of JUnit test suites for Java classes
pietrobraione/fund-my-project
A directory of verified programs that offer grants + funding towards side projects/startups
pietrobraione/javassist
Java bytecode engineering toolkit
pietrobraione/jdk8u
https://wiki.openjdk.org/display/jdk8u
pietrobraione/jpose
Path-optimal symbolic execution, in Java
pietrobraione/ocaml
The core OCaml system: compilers, runtime system, base libraries
pietrobraione/pose
Path-optimal symbolic execution
pietrobraione/tardis-experiments
Some experiment subjects that demonstrate the use of TARDIS