New tool added - T2
T2 is a fully automatic random testing tool. T2 checks for internal errors, method specifications, and class invariant. Specifications are written in plain Java. T2 does not check individual methods in isolation; instead T2 generates random executions where methods may interfere with each other, and thus it may discover more subtle errors. Violating executions are saved for re-test (regression).
T2 is open source, and free to use under GPL license.