[incorrecthorse]

Code coverage proves that the code runs, not that it does what it should do.

[rafaelmn]

If you have a test that completes with the expected outcome and hits the expected code paths you have a working test - I'd say that heuristic will get you really close with some tweaks.