QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck

Published: 2023, Last Modified: 05 Jan 2026IFL 2023EveryoneRevisionsBibTeXCC BY-SA 4.0
Loading