A Groovy port of the QuickCheck unit test framework