#

enumerative-testing

Here are 8 public repositories matching this topic...

rudymatela / fitspec

refine properties for testing Haskell programs

mutation-testing property-based-testing property-testing enumerative-testing leancheck property-refinement

Updated Jan 30, 2025
Haskell

rudymatela / leancheck

enumerative property-based testing for Haskell

testing haskell property-based-testing testing-tools property-testing enumerative-testing leancheck

Updated Mar 20, 2026
Haskell

rudymatela / speculate

Speculate laws about Haskell functions

testing haskell property-based-testing property-testing property-discovery enumerative-testing theory-exploration leancheck

Updated Jan 30, 2025
Haskell

rudymatela / extrapolate

generalize counter-examples of property-based testing

testing debugging haskell property-based-testing testing-tools property-testing enumerative-testing leancheck generalization counter-example-generalization

Updated Jan 30, 2025
Haskell

sethrudesill / directionless

C#.NET TypeSafeEnum cardinal directions.

linq csharp dotnetcore enumeration test-driven-development type-safety enumerable copy-paste open-closed-principle static-library equality-check human-error enumerative-testing test-driven-relevancy null-check hardcoded enum-mapper null-object-pattern plbkac

Updated Jun 14, 2017
C#

vrikodar / Mufasa

Mufasa is a powerful comment scraper , mufasa can automatically scrape comments from Main Page, Javascript and CSS files used by a website.

scraper enumeration hunter information-gathering enumerative-testing oscp reconnaissance source-code-reading osint-python comment-sorting scrape-comments reconnaissane

Updated Aug 11, 2021
Python

rudymatela / leancheck-instances

Common LeanCheck instances

testing haskell property-based-testing testing-tools property-testing enumerative-testing leancheck

Updated May 12, 2025
Haskell

Blaieet / Advanced-Algorithmic

Second-degree Computer Engineering subject at Universitat de Barcelona

algorithm graph-algorithms dtw advanced greedy-algorithms dynamic-time-warping dijkstra-algorithm enumerative-testing bfs-algorithm universitatbarcelona

Updated May 8, 2018
Jupyter Notebook

Add this topic to your repo

To associate your repository with the enumerative-testing topic, visit your repo's landing page and select "manage topics."