Pietro Braione (@pietrobraione)
github

pietrobraione

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    136
  • Global Rank 162,373 (Top 6 %)
  • Followers 14
  • Registered over 11 years ago
  • Most used languages
    Java
         90.0 %
    Python
         10.0 %
  • Location 🇮🇹 Italy
  • Country Total Rank 1,478
  • Country Ranking
    Java
         85
    Python
         5,011

Top repositories

1

jbse

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

sushi

The SUSHI test case generator
Java
22
star
3

tardis

The TARDIS concolic test case generator
Java
9
star
4

jbse-examples

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

gasp

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

sushi-lib

The runtime library part of SUSHI
Java
2
star
7

sushi-experiments

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

jbse-manual

A manual for using and modifying JBSE
Python
1
star
9

sushi-experiments-closure72

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

sushi-experiments-closure01

Google Closure compiler SUSHI experiment, bug 01
Java
1
star