refine properties for testing Haskell programs
mutation-testing
property-based-testing
property-testing
enumerative-testing
leancheck
property-refinement
-
Updated
Feb 9, 2024 - Haskell