Pinned Repositories
evosuite
EvoSuite - automated generation of JUnit test suites for Java classes
jbse
A symbolic Java virtual machine for program analysis, verification and test generation
jfreechart-fse
JFreeChart - Future State Edition
louvain-modularity-spark
Prog2AutomaticCorrections-backend
sushi
The SUSHI test case generator
sushi-lib
The runtime library part of SUSHI
tardis
The TARDIS concolic test case generator
toradocu
Toradocu - automated generation of test oracles from Javadoc documentation
VersionControlDemo
gdenaro73's Repositories
gdenaro73/evosuite
EvoSuite - automated generation of JUnit test suites for Java classes
gdenaro73/jbse
A symbolic Java virtual machine for program analysis, verification and test generation
gdenaro73/jfreechart-fse
JFreeChart - Future State Edition
gdenaro73/louvain-modularity-spark
gdenaro73/Prog2AutomaticCorrections-backend
gdenaro73/sushi
The SUSHI test case generator
gdenaro73/sushi-lib
The runtime library part of SUSHI
gdenaro73/tardis
The TARDIS concolic test case generator
gdenaro73/toradocu
Toradocu - automated generation of test oracles from Javadoc documentation
gdenaro73/VersionControlDemo