pietrobraione/sushi pietrobraione/sushi

  • Stars
    star
    22
  • Rank 1,030,318 (Top 21 %)
  • Language
    Java
  • Created over 7 years ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
pietrobraione/sushi
github

pietrobraione

Reviews

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

Repository Details

The SUSHI test case generator

More Repositories

1

jbse

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

tardis

The TARDIS concolic test case generator
Java
9
star
3

jbse-examples

Some examples to learn how to use JBSE
Java
3
star
4

gasp

A tool that performs WCET analysis on Java software
Java
2
star
5

sushi-lib

The runtime library part of SUSHI
Java
2
star
6

sushi-experiments

Various SUSHI experiments (data structures, GanttProject, TSAFE)
Java
1
star
7

jbse-manual

A manual for using and modifying JBSE
Python
1
star
8

sushi-experiments-closure72

Google Closure compiler SUSHI experiment, bug 72
Java
1
star
9

sushi-experiments-closure01

Google Closure compiler SUSHI experiment, bug 01
Java
1
star