gdenaro73

gdenaro73's Stars

• albertogoffi/toradocu

  Toradocu - automated generation of test oracles from Javadoc documentation

  Language:Java4221

• pietrobraione/sushi-lib

  The runtime library part of SUSHI

  Language:Java23

• pietrobraione/tardis

  The TARDIS concolic test case generator

  Language:Java915

• pietrobraione/gasp

  A tool that performs WCET analysis on Java software

  Language:Java21

• pietrobraione/sushi

  The SUSHI test case generator

  Language:Java226

• pietrobraione/jbse

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

  Language:Java10229