pietrobraione/jbse-examples

Stars
3
Rank 3,963,521 (Top 79 %)
Language
Java
Created about 10 years ago
Updated about 1 year ago

pietrobraione/jbse-examples

pietrobraione

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Some examples to learn how to use JBSE

jbse

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

sushi

The SUSHI test case generator

tardis

The TARDIS concolic test case generator

gasp

A tool that performs WCET analysis on Java software

sushi-lib

The runtime library part of SUSHI

sushi-experiments

Various SUSHI experiments (data structures, GanttProject, TSAFE)

jbse-manual

A manual for using and modifying JBSE

sushi-experiments-closure72

Google Closure compiler SUSHI experiment, bug 72

sushi-experiments-closure01

Google Closure compiler SUSHI experiment, bug 01