Comment by layer8

No. Testing generally can only falsify, not verify. It’s complementary to code review, not a substitute for it.