JWalk is a tool suite for lazy, systematic unit testing. The featured JWalkTester tool performs bounded exhaustive testing of any compiled Java class, supplied by the programmer. It tests for full conformance to a lazy specification, which is inferred on-the-fly from the code, by static and dynamic analysis, and from hints supplied by the programmer.

You can register for the beta here.