Pex is now publicly available
Microsoft Research have finally released Pex. “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.”
Look for a more detailed post on using Pex shortly, and yes, it will involve triangles. 