2 results found Sort:

rudymatela
fitspec rudymatela
0
74
bsd-3-clause
12
refine properties for testing Haskell programs
leancheck mutation-testing property-testing enumerative-testing property-refinement property-based-testing
Created 2015-06-19
788 commits to master branch, last one 11 months ago
rudymatela
leancheck rudymatela
8
53
other
8
enumerative property-based testing for Haskell
haskell testing leancheck testing-tools property-testing enumerative-testing property-based-testing
Created 2015-06-19
1,226 commits to master branch, last one 5 months ago