Parallel property-based testing with a deterministic thread scheduler (by stevan) — discussion
#testing