check Small test framework based on Quickcheck written in Scala or educational purposes. One may read more information about Quickcheck at: http://www.cs.tufts.edu/~nr/cs257/archive/john-hughes/quick.pdf