QuickCheck like test library