refine properties for testing Haskell programs
mutation-testing property-based-testing property-testing enumerative-testing leancheck property-refinement
-
Updated
Jan 30, 2025 - Haskell