This seems similar in concept to Haskell’s QuickCheck[1]. Both generate tests based on an invariant/“property” of the output and can narrow down to the simplest failing test case.

[1]: https://hackage.haskell.org/package/QuickCheck

Property based testing framework for JavaScript (like QuickCheck) written in TypeScript

source: https://github.com/dubzzz/fast-check