Программы sf.net/projects/qc4j/

«C4J» — это автоматизированная система тестирования на основе спецификаций, основанная на quickCheck для Haskell. Это упрощает тестирование референциально прозрачного кода, создавая тестовые данные автоматически через определ