Programas por sf.net/projects/qc4j/

QC4J é uma estrutura de teste automatizada baseada em especificações, baseada no QuickCheck para Haskell. Facilita o teste de código referencialmente transparente, criando automaticamente dados de teste através de geradores d