QuickCheck

Uma ferramenta para testes baseados em propriedades, originalmente escrita em Haskell. Em vez de escrever testes para casos específicos, o desenvolvedor especifica propriedades que o código deve satisfazer, e o QuickCheck gera um grande número de casos de teste aleatórios para verificar essas propriedades.