This page contains links to prototypes developed by members of the SAGA group
which provide various levels of support for testing Java software based on
algebraic specifications.
Projects
JAxT -- Java/JUnit axiom testing tool for Eclipse.
JDI -- Java Data Invariant checking tool for Eclipse.