QuickCheck vs QuickTheories

QuickCheck

6.7 #5 in Property-Based Testing Tools

About QuickCheck

QuickTheories

5.5 #19 in Property-Based Testing Tools

About QuickTheories
QuickCheckQuickTheories
Free planYesYes
Free trialNoNo
Paid fromFreeFree
Open sourceNoNo
PlatformsLinuxapi, self-hosted
Free planYesYes
Supported languagesHaskellJava
Test runner supportTest.SmallCheck.DriversJUnit, TestNG, and other test frameworks
Failing-case shrinkingYesYes
Stateful testingYes—
Reproducible failuresYesYes

Both are listed in Best Property-Based Testing Tools. On Everything Xiaomi, QuickCheck scores higher on our published basis.