Blog articles/Testing
From HaskellWiki
< Blog articles(Difference between revisions)
(Added a link to "Code testing in Haskell"; updated the link for "QuickChecking a window manager") 

(One intermediate revision by one user not shown) 
Revision as of 18:52, 6 October 2012
Contents 
1 Type system enforcement
2 Testing, correctness and proofs
2.1 QuickCheck
 Introduction to QuickCheck
 QuickChecking a window manager
 Robustness and QuickCheck
 Parsec Parser Testing with QuickCheck
 QuickCheck : Why Testing code should be Laissezfaire
 Calculating the reflectrotatetranslate normal form for an isometry of the plane in Haskell, and verifying it with QuickCheck.
 "Testing Haskell with QuickCheck"
2.2 HUnit
 HUnit 1.0 User's Guide
 On Unit Testing and Type Safety
 Getting started with HUnit
 Unit testing with HUnit
2.3 Catch
 Does XMonad crash? On proving pattern coverage with Catch
 Preconditions on XMonad
 Equational Reasoning in Haskell
2.4 Other
3 Proofs
3.1 GADTs
3.2 Coq
 Strong specifications in Coq: the type says everything
 Proving the monad laws in Coq
 Strongly Specified Functions
3.3 Isabelle
3.4 Related work
 See the section on theorem provers