3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.PL2024
QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck
Robert Krook, Nicholas Smallbone, Bo Joel Svensson +1
This paper introduces a new parallel run-time for QuickCheck, a Haskell library and EDSL for specifying and randomly testing properties of programs. The new run-time can run multip…
cs.LO2014★ 3 cited
Hipster: Integrating Theory Exploration in a Proof Assistant
Moa Johansson, Dan Rosen, Nicholas Smallbone +1
This paper describes Hipster, a system integrating theory exploration with the proof assistant Isabelle/HOL. Theory exploration is a technique for automatically discovering new int…