fitspec

Property tester

Automates refinement of test properties for Haskell functions by testing mutant variations and providing suggestions for improvement.

refine properties for testing Haskell programs

74 stars

12 watching

0 forks

Language: Haskell

last commit: 10 months ago

enumerative-testingleancheckmutation-testingproperty-based-testingproperty-refinementproperty-testing

Backlinks from these awesome lists:

Repository	Description	Stars
bodigrim/smallcheck	A testing library that checks Haskell code properties exhaustively using automatic test case generation	134
nick8325/quickcheck	Automated testing of program properties in Haskell programs.	726
mbj/mutant	Automated code review tool with mutation testing to simplify and improve code quality	1,956
hspec/hspec	A testing framework for Haskell programming language	751
thejohnfreeman/autocheck	A C++17 testing library for property-based testing using QuickCheck or SmallCheck.	125
alfert/propcheck	A property-based testing framework for Elixir	376
nicoabie/quickcheck	Randomized testing of program properties in Prolog	22
hspec/hunit	A unit testing framework for Haskell	125
hedgehogqa/haskell-hedgehog	A testing framework that automatically generates and runs property tests to ensure software behaves correctly under various conditions.	677
typelift/swiftcheck	A testing library that generates random data to test program properties in Swift	1,414
fscheck/fscheck	Automatically tests .NET programs by generating random test cases based on predefined properties	1,167
unkindpartition/tasty	A modern testing framework for Haskell	640
boxed/mutmut	Tool for detecting and applying code mutations to improve testing	927
lexi-lambda/higher-rank	A Haskell implementation of type checking and evaluation for higher-rank polymorphism	101
revsys/django-test-plus	Reduces boilerplate code in Django tests to make them more efficient and maintainable	612