@misc{indiciaee19291db2078,
  title = {QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck},
  author = {Robert Krook and Nicholas Smallbone and Bo Joel Svensson and Koen Claessen},
  year = {2024},
  url = {https://arxiv.org/abs/2404.16062},
  note = {Source identifier: 2404.16062}
}