You typically write down the specification before claiming that your code is done so you can’t use it to claim that any undesired behavior is not a bug. I natur

You typically write down the specification before claiming that your code is done so you can’t use it to claim that any undesired behavior is not a bug. I naturally agree that in general tests are insufficient to show correctness because the state space is of impractical size, but, as I said above, for certain programs they totally can be.