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