Difference between revisions of "Blog articles/Testing"

From HaskellWiki
Jump to: navigation, search
(Introduction to HUnit was renamed)
Line 17: Line 17:
 
===HUnit ===
 
===HUnit ===
   
* [http://haskell.org/haskellwiki/Introduction_to_HUnit Introduction to HUnit]
 
  +
* [[HUnit 1.0 User's Guide]]
 
* [http://blogs.teamb.com/craigstuntz/2006/12/08/30370/ On Unit Testing and Type Safety]
 
* [http://blogs.teamb.com/craigstuntz/2006/12/08/30370/ 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]

Revision as of 11:36, 14 January 2009

Type system enforcement

Testing, correctness and proofs

QuickCheck

HUnit

Catch

Proofs

GADTs

Coq

Isabelle

Related work

Further reading