enumerative-testing

There are 0 repository under enumerative-testing topic.

• rudymatela / fitspec

  refine properties for testing Haskell programs

  enumerative-testingleancheckmutation-testingproperty-based-testingproperty-refinementproperty-testing
  Language:Haskell 76

• rudymatela / leancheck

  enumerative property-based testing for Haskell

  enumerative-testinghaskellleancheckproperty-based-testingproperty-testingtestingtesting-tools
  Language:Haskell 52

• rudymatela / speculate

  Speculate laws about Haskell functions

  enumerative-testinghaskellleancheckproperty-based-testingproperty-discoveryproperty-testingtestingtheory-exploration
  Language:Haskell 30

• rudymatela / extrapolate

  generalize counter-examples of property-based testing

  counter-example-generalizationdebuggingenumerative-testinggeneralizationhaskellleancheckproperty-based-testingproperty-testingtestingtesting-tools
  Language:Haskell 13

• sethrudesill / directionless

  C#.NET TypeSafeEnum cardinal directions.

  dotnetcorecsharpnull-checknull-object-patternequality-checkenumerative-testingenum-mapperenumerationenumerablelinqstatic-libraryopen-closed-principlehardcodedcopy-pastehuman-errortype-safetytest-driven-developmenttest-driven-relevancyplbkac
  Language:C# 8

• vrikodar / Mufasa

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

  comment-sortingenumerationenumerative-testinghunterinformation-gatheringoscposint-pythonreconnaissancereconnaissanescrape-commentsscrapersource-code-reading
  Language:Python 7

• rudymatela / leancheck-instances

  Common LeanCheck instances

  enumerative-testinghaskellleancheckproperty-based-testingproperty-testingtestingtesting-tools
  Language:Haskell 1

• Blaieet / Advanced-Algorithmic

  Second-degree Computer Engineering subject at Universitat de Barcelona

  advancedalgorithmgraph-algorithmsgreedy-algorithmsdijkstra-algorithmbfs-algorithmenumerative-testingdtwdynamic-time-warpinguniversitatbarcelona
  Language:Jupyter Notebook 0