I found this talk (by the same person being interviewed) to be concise and convincing on how to do better than typical practice, without going to full formal methods.

Hillel Wayne - Beyond Unit Tests: Taking Your Testing to the Next Level - PyCon 2018 https://www.youtube.com/watch?v=MYucYon2-lk