Sometimes this technique catches bugs on prod that are unknowingly fixed with refactoring.
How do you know that your tests are correct? The problem is equivalent.
Sometimes this technique catches bugs on prod that are unknowingly fixed with refactoring.