JAxT is a plugin for Eclipse that can automatically generate JUnit test cases from the axioms of algebraic style specifications in Java. When implementing an interface or a class, the user provides axioms for them as static methods in separate, accompanying classes. Any class extending a class or implementing an interface with related axioms also inherits the axioms. JAxT can automatically generate tests for all the axioms for a class, whether inherited or directly accompanying the class.
Benefits of JAxT include:
Note: You are advised to use the Eclipse Update Manager alternative for installation. The 1.0 release snapshot is dated by now.