[roeles]

Since we can't really formally prove most code, I think property based testing such as with hypothesis[1] would make sense. I have not used it yet, but am about to for stuff that really needs to work.

[1] https://news.ycombinator.com/item?id=45818562

[xendo]

We can't really property test most code. So it comes down, as with everything, to good judgement and experience.

[epgui]

You can property test most code.