JCheck

JCheck is a testing tool for Java similar to QuickCheck for Haskell. The programmer provides a specification which then is tested using a large number of random test cases. JCheck integrates with JUnit making it easy to mix with usual unit tests.