hypothesis

https://hypothesis.readthedocs.io/en/latest/

The property testing tool initially by David R. MacIver. Really fun to use, and I wish the ideas in it were taken up more broadly.

I used it to test my ckmeans implementation.

cool article from Paul Khuong on how they use hypothesis to test their C code: http://pvk.ca/Blog/2020/03/11/how-hard-is-it-to-guide-test-case-generators-with-branch-coverage-feedback/