Triq - это чистая Erlang реализация стиля тестирования QuickCheck.

Triq (произносится как "Trick Check") является бесплатной альтернативой QuviQ eqc. API Triq моделируется после eqc, поэтому я рекомендую их учебники и слайды для введения в QuickCheck. Обратите внимание, что QuviQ eqc имеет много функций, которых нет в triq, но он имеет открытый исходный код, лицензированный по лицензии Apache. Например, в eqc есть функции для отчетности, управления, возможно, гораздо лучший механизм сжатия, классная интеграция с Си и профессиональная поддержка.

https://github.com/krestenkrab/triq