Here is a twitter thread from the creator of the Hypothesis property testing framework for Python. Hypothesis is notable not just for being a practical property testing tool for Python, but more importantly (from my perspective) in the innovations that it makes in the field of test suite reduction. The most important contribution that Hypothesis makes is to show how to turn an arbitrary test generator into a test reducer by manipulating the random stream. This makes it completely different from other reducers (which are mostly the progeny of ddmin (Delta Debugging) or creduce). For those who are more comfortable with academic literature, here is the paper.