Beast code in Giters

Giovanni Denaro's repositories

EvoSuite - automated generation of JUnit test suites for Java classes

Language:JavaLGPL-3.0000

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

Language:JavaGPL-3.0020

JFreeChart - Future State Edition

Language:JavaLGPL-2.1020

Language:Java020

Language:Java000

The SUSHI test case generator

Language:Java000

The runtime library part of SUSHI

Language:Java020

The TARDIS concolic test case generator

Language:Java010

Toradocu - automated generation of test oracles from Javadoc documentation

Language:JavaNOASSERTION010

Language:Java040