Koen Claessen, Colin Runciman, Olaf Chitil, John Hughes, Malcolm Wallace. Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat. In Johan Jeuring, Simon L. Peyton Jones, editors, Advanced Functional Programming, 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures. Volume 2638 of Lecture Notes in Computer Science, pages 59-99, Springer, 2002. [doi]
Abstract is missing.