Difference between revisions of "Blog articles/Testing"

From HaskellWiki
Jump to: navigation, search
(Other: Added a link to "Up-front Unit Testing in Haskell")
(Added Category:Tutorials)
Line 68: Line 68:
   
 
* [http://haskell.org/haskellwiki/Research_papers/Testing_and_correctness Research papers on testing, proofs and correctness]
 
* [http://haskell.org/haskellwiki/Research_papers/Testing_and_correctness Research papers on testing, proofs and correctness]
  +
  +
  +
[[Category:Tutorials]]

Revision as of 22:25, 21 January 2013

Type system enforcement


Testing, correctness and proofs

QuickCheck


HUnit


Catch


Other

Proofs

GADTs


Coq


Isabelle


Related work


Further reading