Blog articles/Testing
< Blog articles
Jump to navigation
Jump to search
Revision as of 06:12, 10 July 2007 by DonStewart (talk | contribs) (→Testing, correctness and proofs)
Type checking for correctness
Testing, correctness and proofs
- Introduction to QuickCheck
- QuickChecking a window manager
- On Unit Testing and Type Safety
- Robustness and QuickCheck
- Does XMonad crash? On proving pattern coverage with Catch
- Preconditions on XMonad
- Equational Reasoning in Haskell