2013-02-14: Test-Driven Development for Validating Design