Framework for running and organising QuickCheck test properties and HUnit test cases