RuncimanColin

Smallcheck and lazy smallcheck

RuncimanColin, NaylorMatthew, LindbladFredrik, 2008 .

Déjà Fu: a concurrency testing library for Haskell

RuncimanColin, WalkerMichael, 2015 .

FitSpec: refining property sets for functional testing

RuncimanColin, BraquehaisRudy, 2016 .

Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test results

RuncimanColin, BraquehaisRudy, 2017 .

The bits between the lambdas

RuncimanColin, RuncimanColin, WallaceMalcolm, 1998 .