A big part of our thesis is that TDD is not really a testing activity, but
rather a specifying activity that generates tests as a very useful side
effect.  For TDD to be a sustainable process, it is important to
understand the various implications of this distinction. [1]

Here, we will discuss the way our tests are structured when we seek to use