T2 Released
T2 is a fully automatic trace-based random testing tool for Java, and is now available in a full version! T2 is powerful; it can check e.g. internal errors, method specifications, and class invariant. It is also very versatile, allowing models and specifications to be written in plain Java. It is fast; able to inject thousands of tests in less than a second!
T2 does not check individual methods in isolation; instead T2 generates sequences of executions where methods may interfere with each other, and thus it may discover more subtle errors. This approach also makes T2 more tolerant to partial specifications. Violating sequences are saved for re-test. Sequences can also be collected for regression. In the basic-mode, the sequences are generated randomly, but it is possible to let the generation guided by a model (ala model-based testing).
T2 is free to use under GPL license.
More info and download: T2 site.
