Perhaps property testing, like QuickCheck. I don't think that is exactly TDD.
But I agree with tests and TDD in general.