pietrobraione/tardis pietrobraione/tardis

  • Stars
    star
    9
  • Rank 1,939,727 (Top 39 %)
  • Language
    Java
  • Created over 7 years ago
  • Updated 8 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
pietrobraione/tardis
github

pietrobraione

Reviews

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

Repository Details

The TARDIS concolic test case generator

More Repositories

1

jbse

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

sushi

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