Programas por sf.net/projects/qc4j/

QC4J es un marco de pruebas automatizado y basado en especificaciones, basado en QuickCheck para Haskell. Facilita la prueba de código transparente referencialmente, mediante la creación de datos de prueba automáticamente a t