QuickCheck: An Automatic Testing Tool for Haskell - interessanter Ansatz für automatisches Testen. Die Eigenschaften von Funktionen werden direkt im Code abgelegt und der Test testet nicht einfach vordefinierte Testfälle, sondern durchläuft die Eigenschaftsdefinitionen mit zufällig generierten Werten.