Pex-dynamic analysis and test generation tool for .NET from Microsof

Pex (Program EXploration) is an assistant to the programmer.Pex takes test-driven development to the next level. Pex analyzes .NET programs. From a parameterized unit test, it automatically generates unit tests cases with high code coverage.