programs for automated integration Modules of QuickCheck properties into tasty (test framework) suites