Blog articles/Testing
< Blog articles
Jump to navigation
Jump to search
Revision as of 16:59, 23 September 2007 by DonStewart (talk | contribs) (→Type checking for correctness)
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 system enforcement
Testing, correctness and proofs
QuickCheck
- Introduction to QuickCheck
- QuickChecking a window manager
- Robustness and QuickCheck
- Parsec Parser Testing with QuickCheck
- QuickCheck : Why Testing code should be Laissez-faire
HUnit
Catch
- Does XMonad crash? On proving pattern coverage with Catch
- Preconditions on XMonad
- Equational Reasoning in Haskell
Proofs
GADTs
Coq
Isabelle
Related work
- See the section on theorem provers