Benutzung von Typklassen bei Smallcheck

Colin Runciman, Matthew Naylor, Fredrik Lindblad:

SmallCheck and Lazy SmallCheck: automatic exhaustive testing for small values

http://www.cs.york.ac.uk/fp/smallcheck/

• Properties sehen aus wie bei QuickCheck,
• anstatt zu würfeln (QuickCheck): alle Werte der Größe nach benutzen