pietrobraione/jbse pietrobraione/jbse

  • Stars
    star
    99
  • Rank 336,854 (Top 7 %)
  • Language
    Java
  • License
    GNU General Publi...
  • Created over 9 years ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
pietrobraione/jbse
github

pietrobraione

Reviews

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

Repository Details

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

More Repositories

1

sushi

The SUSHI test case generator
Java
22
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