PropEr vs QuickTheories

PropEr

6.6 #11 in Property-Based Testing Tools

About PropEr

QuickTheories

5.8 #16 in Property-Based Testing Tools

About QuickTheories
PropErQuickTheories
Free planYesNo
Free trialNoNo
Paid fromFree—
Open sourceNoNo
Platformsself-hosted—
Free planYesYes
Supported languagesErlangJava
Test runner supportEUnit, Common TestJUnit, TestNG, and other test frameworks
Failing-case shrinkingYesYes
Stateful testingYes—
Reproducible failures—Yes

Both are listed in Best Property-Based Testing Tools. On Samsung Mobile US Press, PropEr scores higher on our published basis.