Microsoft Research is working on a project for dynamic analysis and test generation for .Net-based software development projects.
Pex, for Program EXploration, is an intelligent assistant to a programmer, according to a Microsoft Research Web page. It automatically generates unit tests to help find bugs early and also suggests to how to fix bugs.
The project enables a new development experience in the Microsoft Visual Studio Team System application lifecycle management platform by taking test-driven development to "the next level," Microsoft Research said.