pietrobraione

Pietro Braione's repositories

jbse

A symbolic Java virtual machine for program analysis, verification and test generation

Language:JavaGPL-3.0102 7 38

sushi

The SUSHI test case generator

Language:Java22 5 5

tardis

The TARDIS concolic test case generator

Language:Java9 6 7

jbse-examples

Some examples to learn how to use JBSE

Language:Java4 3 2

gasp

A tool that performs WCET analysis on Java software

Language:Java2 5 1

sushi-lib

The runtime library part of SUSHI

Language:Java2 4 4

jbse-manual

A manual for using and modifying JBSE

Language:Python1 10

sushi-experiments

Various SUSHI experiments (data structures, GanttProject, TSAFE)

Language:Java100

sushi-experiments-closure01

Google Closure compiler SUSHI experiment, bug 01

Language:JavaApache-2.01 40

sushi-experiments-closure72

Google Closure compiler SUSHI experiment, bug 72

Language:JavaApache-2.01 40

argouml

Main project of argouml. Some information in the wiki. Some old releases in releases.

000

daikon

Dynamic detection of likely invariants

Language:C000

evosuite

EvoSuite - automated generation of JUnit test suites for Java classes

Language:JavaLGPL-3.0000

fund-my-project

A directory of verified programs that offer grants + funding towards side projects/startups

020

javassist

Java bytecode engineering toolkit

Language:JavaNOASSERTION020

lzsh

Laziest-sharp symbolic execution

Language:Coq000

ocaml

The core OCaml system: compilers, runtime system, base libraries

Language:OCamlNOASSERTION030

pose

Path-optimal symbolic execution

Language:Coq000

tardis-experiments

Some experiment subjects that demonstrate the use of TARDIS

Language:Java010