gdenaro73's Stars
albertogoffi/toradocu
Toradocu - automated generation of test oracles from Javadoc documentation
pietrobraione/sushi-lib
The runtime library part of SUSHI
pietrobraione/tardis
The TARDIS concolic test case generator
pietrobraione/gasp
A tool that performs WCET analysis on Java software
pietrobraione/sushi
The SUSHI test case generator
pietrobraione/jbse
A symbolic Java virtual machine for program analysis, verification and test generation