fast-check vs QuickTheories

fast-check is a property-based testing library for JavaScript and TypeScript. It generates inputs and checks expected behavior across many cases, then reduces a failure to a smaller counterexample to help investigate it. Tests combine arbitraries that create values, properties that describe behavior, runners that execute checks, and plugins that extend runners. It works with Jest, Mocha, Vitest, Ava, Bun, Deno, the Node.js test runner, and other test runners. Runs can be configured with seeds, generated-value sizes, time limits, and result reporting globally or per assertion. fast-check supports stateful testing and reproducible failures; its project also describes fuzzing and generative testing for issues such as race conditions and prototype poisoning. The project is open source under the MIT license, and the listed plan is free. Version 5.x requires Node.js 22.12.0 or later and ECMAScript 2025; TypeScript 5.8 or later is optional.

QuickTheories is a free, open-source property-based testing library for Java 8. It checks general properties and invariants by generating random valid inputs, then automatically searches for smaller or simpler values that still fail a property. The library reports the seed for a falsified property, and tests can use fixed seeds for deterministic runs. Its generator DSL creates common Java types, constrains values, and combines or converts generators for custom types. QuickTheories works with JUnit, TestNG, and other test frameworks; `checkAssert` supports assertion libraries such as AssertJ and Hamcrest. The `forAll` API handles theories over one to four generated values. System properties configure seeds, example counts, and shrink attempts, while named profiles can reuse settings. An experimental coverage feature targets new code paths, but may reduce performance by about 10% and interfere with JaCoCo or other coverage systems. The project uses the Apache-2.0 license.