Creating a formal spec, while not trivial, is not nearly as hard as writing strict tests that validate an implementation against the spec.

If you've just played with TDD and never used it in a serious capacity, you're in no position to comment and your ignorance is almost so bad as to be offensive, especially your seeming delight at this strategy being perceived as having failed.

Code without tests is code that cannot be trusted.