Tests don’t prove anything, they just show the intended behaviour. Only full verification proofs show correctness. Too often I’ve seen “tests show it’s correct

Tests don’t prove anything, they just show the intended behaviour. Only full verification proofs show correctness. Too often I’ve seen “tests show it’s correct” suites horribly fail to provide value when the behaviour changes in a unit of business logic and the brittleness needs to be unwound and replaced with robust assumptions.