Rudy Braquehais, Colin Runciman. FitSpec: refining property sets for functional testing. In Geoffrey Mainland, editor, Proceedings of the 9th International Symposium on Haskell, Haskell 2016, Nara, Japan, September 22-23, 2016. pages 1-12, ACM, 2016. [doi]
Abstract is missing.