leebyron/testcheck-js: Generative testing for JavaScript
▻https://github.com/leebyron/testcheck-js
By providing a specification of the JavaScript program in the form of properties, the properties can be tested to remain true for a large number of randomly generated cases. In the case of a test failure, the smallest possible failing test case is found.