Pex generates Unit Tests from Parameterized Unit Tests through Automated White box Testing based on Input Generation:
- Can generate inputs for hand-written Parameterized Unit Tests.
- Can try to find bugs in an existing .Net assemblies by using the Pex Wizard to create simple parameterized unit tests automatically.
- 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.