Testing using combinatorics, and the infrastructure to run those test cases in parallel, possibly across multiple machines. Includes human-readable descriptions of the generated test cases, and deterministic replay mechanisms.
Read the full docs here.