Blog articles/Testing

From HaskellWiki

< Blog articles

Revision as of 01:57, 16 July 2007 by DonStewart (talk | contribs) (hunit blog)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

Type checking for correctness

Can your type checking system do this?

Testing, correctness and proofs

QuickCheck

HUnit

Catch

Further reading

Research papers on testing, proofs and correctness

Retrieved from "https://wiki.haskell.org/index.php?title=Blog_articles/Testing&oldid=14394"