Introduction

Pex generates Unit Tests from Parameterized Unit Tests through Automated White box Testing based on Input Generation:

• Pex can generate inputs for hand-written Parameterized Unit Tests.
• Pex can try to find bugs in an existing .Net assemblies by using the Pex Wizard to create simple parameterized unit tests automatically.
• Pex uses a constraint solver to systematically generate relevant inputs for the program-under-test. The result is a minimal test suite with maximal code coverage. Pex emits tests and mocks for MSTest.

All tools work on top of Pex' managed profiling API, Extended Reflection, which allows to easily build .Net monitoring applications. The managed profiling API is built on top of the CLR Profiling API.