Benutzung von Typklassen bei Smallcheck

Colin Runciman, Matthew Naylor, Fredrik Lindblad:

SmallCheck and Lazy SmallCheck: automatic exhaustive testing for small values

• Testen von universellen Eigenschaften ( ∀a∈A : ∀b∈B : pab)
• automatische Generierung der Testdaten ...
• ...aus dem Typ von p
• ...mittels generischer Instanzen

http://hackage.haskell.org/package/smallcheck