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: about 1 year ago
Linked from 2 awesome lists
enumerative-testingleancheckmutation-testingproperty-based-testingproperty-refinementproperty-testing
Related projects:
Repository | Description | Stars |
---|---|---|
| A testing library that checks Haskell code properties exhaustively using automatic test case generation | 134 |
| Automated testing of program properties in Haskell programs. | 728 |
| Automated code review tool with mutation testing to simplify and improve code quality | 1,956 |
| A testing framework for Haskell programming language | 755 |
| A C++17 testing library for property-based testing using QuickCheck or SmallCheck. | 125 |
| A property-based testing framework for Elixir | 377 |
| Randomized testing of program properties in Prolog | 22 |
| A unit testing framework for Haskell | 126 |
| A testing framework that automatically generates and runs property tests to ensure software behaves correctly under various conditions. | 676 |
| A testing library that generates random data to test program properties in Swift | 1,415 |
| Automatically tests .NET programs by generating random test cases based on predefined properties | 1,169 |
| A modern testing framework for Haskell | 643 |
| 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 |
| A Haskell implementation of type checking and evaluation for higher-rank polymorphism | 101 |
| Reduces boilerplate code in Django tests to make them more efficient and maintainable | 615 |