Using Pex in a TDD fashion...
Peli has just posted a good post on using Pex in a TDD fashion to create a binary heap.
In case you don't know, Peli is actually one of the guys working on Pex at MSR so if you have a chance do give it a look ;-)
"Pex (Program EXploration) is an intelligent assistant to the programmer. From a parameterized unit test, it automatically produces a traditional unit test suite with high code coverage. In addition, it suggests to the programmer how to fix the bugs."
By the way Pex is not tied to MSTest. See the Pex Extensions project on CodePlex for other framework support like NUnit.