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

Michael Walker, Colin Runciman
2015 SIGPLAN notices  
Systematic concurrency testing (SCT) is an approach to testing potentially nondeterministic concurrent programs. SCT avoids potentially unrepeatable results that may arise from unit testing concurrent programs. It seems to have received little attention from Haskell programmers. This paper introduces a generalisation of Haskell's concurrency abstraction in the form of typeclasses, and a library for testing concurrent programs. A number of examples are provided, some of which come from pre-existing packages.
doi:10.1145/2887747.2804306 fatcat:rztituni65gpliponpdqqmmpqi