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)
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
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