Difference between revisions of "Blog articles/Testing"

Revision as of 01:57, 16 July 2007

@@ Line 3: / Line 3: @@
 == Testing, correctness and proofs ==
+===QuickCheck ===
 * [http://haskell.org/haskellwiki/Introduction_to_QuickCheck Introduction to QuickCheck]
 * [http://cgi.cse.unsw.edu.au/~dons/blog/2007/05/01#xmonad_part1_model QuickChecking a window manager]
-* [http://blogs.teamb.com/craigstuntz/archive/2006/12/08/UnitTestingAndTypeSafety.aspx On Unit Testing and Type Safety]
 * [http://abstractabsurd.blogspot.com/2007/02/sussman-robustness-quickcheck.html Robustness and QuickCheck]
+===HUnit ===
+* [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]
+===Catch===
 * [http://neilmitchell.blogspot.com/2007/05/does-xmonad-crash.html Does XMonad crash? On proving pattern coverage with Catch]
 * [http://neilmitchell.blogspot.com/2007/05/preconditions-on-xmonad.html Preconditions on XMonad]