Test.EasyCheck
Test.EasyCheck.Exec
Test.Prop
Libraries for automated, property-based testing of Curry programs
Detailed package documentation (available shortly after this version has been published)