TY  - RPRT
TI  - QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck
AU  - Robert Krook
AU  - Nicholas Smallbone
AU  - Bo Joel Svensson
AU  - Koen Claessen
PY  - 2024
UR  - https://arxiv.org/abs/2404.16062
ID  - 2404.16062
ER  -