Dj Fu: a concurrency testing library for Haskell.

Michael Walker, Colin Runciman

Browse the full HASKELL paper archive.