But covering all branches does not mean that the program doesn’t have any bugs. Things like condition coverage and modified condition / decision coverage exist

But covering all branches does not mean that the program doesn’t have any bugs. Things like condition coverage and modified condition / decision coverage exist because of this. You need to ensure that all possible inputs are handled correctly by the code, which is a much harder problem than traversing all branches.