But then you better hope that your tests are near perfect and covers every single edge case you can think of (and most of those you can't). For any given collection of tests it is quite trivial to write code which passes those tests but fails on all other input.
