We have developed and are distributing the following (stable) tools
Java: Asmeta tools need Java >= 1.6.0 to run.
Asmeta is released under a GPL-like license.
We have been working on:
ATGT: test generator
The ATGT test generator now supports structural based testing, fault based testing and combinatorial testing. See the ATGT page for further information