Test.Prop
Test.EasyCheck
Test.EasyCheck.Exec
EasyCheck is a library for automated, property-based testing of Curry programs. The ideas behind EasyCheck are described in the FLOPS 2008 paper.
These libraries are used by the CurryCheck tool which automatically executes tests defined with these libraries. CurryCheck supports the definition of unit tests (also for I/O operations) and property tests parameterized over some arguments. CurryCheck is described in more detail in the LOPSTR 2016 paper.