diff --git a/CHANGELOG.markdown b/CHANGELOG.markdown
--- a/CHANGELOG.markdown
+++ b/CHANGELOG.markdown
@@ -7,6 +7,24 @@
 *de facto* standard Haskell versioning scheme.
 
 
+0.7.1.0
+-------
+
+- **Date**    2017-11-30
+- **Git tag** [tasty-dejafu-0.7.1.0][]
+- **Hackage** https://hackage.haskell.org/package/tasty-dejafu-0.7.1.0
+
+### Test.Tasty.DejaFu
+
+- A new `testPropertyFor` function for checking refinement properties with a custom number of seed
+  values and variable assignments.
+
+[tasty-dejafu-0.7.1.0]: https://github.com/barrucadu/dejafu/releases/tag/tasty-dejafu-0.7.1.0
+
+
+---------------------------------------------------------------------------------------------------
+
+
 0.7.0.3
 -------
 
diff --git a/Test/Tasty/DejaFu.hs b/Test/Tasty/DejaFu.hs
--- a/Test/Tasty/DejaFu.hs
+++ b/Test/Tasty/DejaFu.hs
@@ -2,6 +2,7 @@
 {-# LANGUAGE FlexibleContexts #-}
 {-# LANGUAGE FlexibleInstances #-}
 {-# LANGUAGE GADTs #-}
+{-# LANGUAGE LambdaCase #-}
 {-# LANGUAGE RankNTypes #-}
 {-# LANGUAGE TypeSynonymInstances #-}
 
@@ -17,7 +18,7 @@
 -- License     : MIT
 -- Maintainer  : Michael Walker <mike@barrucadu.co.uk>
 -- Stability   : stable
--- Portability : CPP, FlexibleContexts, FlexibleInstances, GADTs, ImpredicativeTypes, RankNTypes, TypeSynonymInstances
+-- Portability : CPP, FlexibleContexts, FlexibleInstances, GADTs, ImpredicativeTypes, LambdaCase, RankNTypes, TypeSynonymInstances
 --
 -- This module allows using Deja Fu predicates with Tasty to test the
 -- behaviour of concurrent systems.
@@ -71,6 +72,7 @@
 
   -- * Refinement property testing
   , testProperty
+  , testPropertyFor
 
   -- ** Re-exports
   , R.Sig(..)
@@ -143,7 +145,7 @@
   ]
 
 assertableP :: Predicate (Maybe String)
-assertableP = alwaysTrue $ \r -> case r of
+assertableP = alwaysTrue $ \case
   Right (Just _) -> False
   _ -> True
 
@@ -349,9 +351,27 @@
   -> p
   -- ^ The property to check.
   -> TestTree
-testProperty = testprop
+testProperty = testPropertyFor 10 100
 
+-- | Like 'testProperty', but takes a number of cases to check.
+--
+-- The maximum number of cases tried by @testPropertyFor n m@ will be
+-- @n * m@.
+--
+-- @since unreleased
+testPropertyFor :: (R.Testable p, R.Listable (R.X p), Eq (R.X p), Show (R.X p), Show (R.O p))
+  => Int
+  -- ^ The number of seed values to try.
+  -> Int
+  -- ^ The number of variable assignments per seed value to try.
+  -> TestName
+  -- ^ The name of the test.
+  -> p
+  -- ^ The property to check.
+  -> TestTree
+testPropertyFor = testprop
 
+
 --------------------------------------------------------------------------------
 -- Tasty integration
 
@@ -364,7 +384,7 @@
   deriving Typeable
 
 data PropTest where
-  PropTest :: (R.Testable p, R.Listable (R.X p), Eq (R.X p), Show (R.X p), Show (R.O p)) => p -> PropTest
+  PropTest :: (R.Testable p, R.Listable (R.X p), Eq (R.X p), Show (R.X p), Show (R.O p)) => Int -> Int -> p -> PropTest
   deriving Typeable
 
 instance IsTest ConcTest where
@@ -385,8 +405,8 @@
 instance IsTest PropTest where
   testOptions = pure []
 
-  run _ (PropTest p) _ = do
-    ce <- R.check' p
+  run _ (PropTest sn vn p) _ = do
+    ce <- R.checkFor sn vn p
     pure $ case ce of
       Just c -> testFailed . init $ unlines
         [ "*** Failure: " ++
@@ -435,8 +455,8 @@
 
 -- | Produce a Tasty 'TestTree' from a Deja Fu refinement property test.
 testprop :: (R.Testable p, R.Listable (R.X p), Eq (R.X p), Show (R.X p), Show (R.O p))
-  => TestName -> p -> TestTree
-testprop name = singleTest name . PropTest
+  => Int -> Int -> TestName -> p -> TestTree
+testprop sn vn name = singleTest name . PropTest sn vn
 
 -- | Convert a test result into an error message on failure (empty
 -- string on success).
diff --git a/tasty-dejafu.cabal b/tasty-dejafu.cabal
--- a/tasty-dejafu.cabal
+++ b/tasty-dejafu.cabal
@@ -2,7 +2,7 @@
 -- documentation, see http://haskell.org/cabal/users-guide/
 
 name:                tasty-dejafu
-version:             0.7.0.3
+version:             0.7.1.0
 synopsis:            Deja Fu support for the Tasty test framework.
 
 description:
@@ -30,7 +30,7 @@
 source-repository this
   type:     git
   location: https://github.com/barrucadu/dejafu.git
-  tag:      tasty-dejafu-0.7.0.3
+  tag:      tasty-dejafu-0.7.1.0
 
 library
   exposed-modules:     Test.Tasty.DejaFu