Better Than TDD: More TDD
What is better than Test-Driven Development? Even more test driven development – this time with deeper tests. Unit tests are useful, but a few examples don’t prove our Ruby code correct. Can we approach mathematical proof without ballooning the lines of test code we maintain?