Smallcheck and lazy smallcheck: automatic exhaustive testing for small values (2008)

by Colin Runciman , Matthew Naylor , Fredrik Lindblad
Venue:In Haskell ’08: Proceedings of the first ACM SIGPLAN symposium on Haskell
Citations:38 - 0 self

Documents Related by Co-Citation

329 QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs – Koen Claessen, John Hughes - 2000
296 An Implementation of Narrowing Strategies – Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner - 2001
795 Isabelle/HOL: A Proof Assistant for Higher-Order Logic, volume 2283 – Tobias Nipkow, Lawrence C Paulson, Markus Wenzel - 2002
433 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
475 Z3: An efficient SMT solver – Leonardo de Moura, Nikolaj Bjørner - 2008
3643 Communicating Sequential Processes – C. A. R. Hoare - 1985
561 The implementation of functional programming languages – S L Peyton Jones - 1987
1921 Foundations of Logic Programming – J Lloyd - 1987
1006 Term Rewriting and All That – F Baader, T Nipkow - 1998