Difference between revisions of "Blog articles/Testing"

From HaskellWiki
Jump to: navigation, search
(HUnit)
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]
   
 
===Catch===
 
===Catch===

Revision as of 00:30, 9 December 2007

Type system enforcement

Testing, correctness and proofs

QuickCheck

HUnit

Catch

Proofs

GADTs

Coq

Isabelle

Related work

Further reading