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: over 2 years agoLinked from 2 awesome lists
enumerative-testingleancheckmutation-testingproperty-based-testingproperty-refinementproperty-testing
uhub/awesome-haskell
theofidry/awesome-mutation-testingRelated projects:
| 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. | 728 |
 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 | 755 |
 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 | 377 |
 nicoabie/quickcheck | Randomized testing of program properties in Prolog | 22 |
| hspec/hunit | A unit testing framework for Haskell | 126 |
 hedgehogqa/haskell-hedgehog | A testing framework that automatically generates and runs property tests to ensure software behaves correctly under various conditions. | 676 |
 typelift/swiftcheck | A testing library that generates random data to test program properties in Swift | 1,415 |
 fscheck/fscheck | Automatically tests .NET programs by generating random test cases based on predefined properties | 1,169 |
 unkindpartition/tasty | A modern testing framework for Haskell | 643 |
 boxed/mutmut | A mutation testing system for Python that helps identify weaknesses in software code by introducing small changes and running tests to see which ones fail. | 937 |
 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 | 615 |