Automated Whitebox Test Generation for .NET
Pex explores the behavior of your .NET code and displays interesting input-output pairs to the user from a single mouse click. Pex systematically hunts for bugs – exceptions or assertion failures. You can debug bugs right away or even save all the results as a unit test suite. Pex systematic analysis discovers boundary conditions in code, which leads to a small test suite with high code coverage. Pex enables Parameterized Unit Testing, an extension of traditional unit testing that reduces test maintenance costs. Pex has been used in Microsoft to test core .NET components. Pex is developed at Microsoft Research and integrated into Microsoft Visual Studio Team System 2010.