junit-quickcheck is a library which supplies JUnit theories with random values with which to test the validity of the theories.