I do a lot with testing, verification, and Python - https://hypofuzz.com https://hypothesis.works and https://zhd.dev Modern tools can write most of your tests, and decide what to run too.