Personal tools

Blog articles/Testing

From HaskellWiki

< Blog articles(Difference between revisions)
Jump to: navigation, search
(HUnit)
(HUnit: update link)
Line 18: Line 18:
 
* [http://blogs.teamb.com/craigstuntz/archive/2006/12/08/UnitTestingAndTypeSafety.aspx On Unit Testing and Type Safety]
 
* [http://blogs.teamb.com/craigstuntz/archive/2006/12/08/UnitTestingAndTypeSafety.aspx On Unit Testing and Type Safety]
 
* [http://leiffrenzel.de/papers/getting-started-with-hunit.html Getting started with HUnit]
 
* [http://leiffrenzel.de/papers/getting-started-with-hunit.html Getting started with HUnit]
* [http://hitesh-jasani.blogspot.com/2007/12/unit-testing-with-hunit-in-haskell.html Unit testing with HUnit]
+
* [http://www.jasani.org/2007/12/05/unit-testing-with-hunit-in-haskell Unit testing with HUnit]
   
 
===Catch===
 
===Catch===

Revision as of 03:02, 10 May 2008

Contents

1 Type system enforcement

2 Testing, correctness and proofs

2.1 QuickCheck

2.2 HUnit

2.3 Catch

3 Proofs

3.1 GADTs

3.2 Coq

3.3 Isabelle

3.4 Related work

4 Further reading