Very interesting article by Marc Clifton over at CodeProject
http://www.codeproject.com/gen/design/autp5.asp
I really like the idea of formalizing the unit tests so that there is some form of metric by which to judge the quality of a given test suite.