Skip to main content

Testing and Tracing Lazy Functional Programs using QuickCheck and Hat

Claessen, Koen and Runciman, Colin and Chitil, Olaf and Hughes, John and Wallace, Malcolm (2003) Testing and Tracing Lazy Functional Programs using QuickCheck and Hat. In: Advanced Functional Programming 4th International School. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 59-99. ISBN 978-3-540-40132-2. E-ISBN 978-3-540-44833-4. (doi:10.1007/978-3-540-44833-4_3) (KAR id:13937)

PDF Author's Accepted Manuscript
Language: English
Download (345kB) Preview
Official URL


It is a very undesirable situation that today’s software often contains errors. One motivation for using a functional programming language is that it is more difficult (or even impossible) to make low-level mistakes, and it is easier to reason about programs. But even the most advanced functional programmers are not infallible; they misunderstand the properties of their own programs, or those of others, and so commit errors.

Item Type: Book section
DOI/Identification number: 10.1007/978-3-540-44833-4_3
Uncontrolled keywords: Random Testing, Test Data Generator, Current Selection, Conditional Property, Congruence Property
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing > Theoretical Computing Group
Depositing User: Olaf Chitil
Date Deposited: 24 Nov 2008 18:00 UTC
Last Modified: 23 Jan 2020 04:02 UTC
Resource URI: (The current URI for this page, for reference purposes)
Chitil, Olaf:
  • Depositors only (login required):


Downloads per month over past year