or Generative Testing
or Test Generation
Instead of unit testing with individual example inputs eg.
"Sorting a list with values 3,1,2 should return 1,2,3.",
"Sorting a list with values 2,3,1 should return 1,2,3.",
"Sorting a list with values 1,3,2 should return 1,2,3."
...
Test the properties of a function eg.
"After sorting a list it should have same amount of elements.",
"And it should have the same elements.",
...
* Source: "Haskell the craft of functional programming" 3rd ed. by Simon Thompson
Unit tests
Unit tests by mekki or ruge
Property-based tests
Proof*