wiki:JaXT

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.