Blog articles/Testing
< Blog articles
Jump to navigation
Jump to search
Revision as of 18:52, 6 October 2012 by Henk-Jan van Tuyl (talk | contribs) (Added a link to "Code testing in Haskell"; updated the link for "QuickChecking a window manager")
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
- Calculating the reflect-rotate-translate normal form for an isometry of the plane in Haskell, and verifying it with QuickCheck.
- "Testing Haskell with QuickCheck"
HUnit
- HUnit 1.0 User's Guide
- On Unit Testing and Type Safety
- Getting started with HUnit
- Unit testing with HUnit
Catch
- Does XMonad crash? On proving pattern coverage with Catch
- Preconditions on XMonad
- Equational Reasoning in Haskell
Other
Proofs
GADTs
Coq
- Strong specifications in Coq: the type says everything
- Proving the monad laws in Coq
- Strongly Specified Functions
Isabelle
Related work
- See the section on theorem provers