Pex - Automated White Box Testing

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.
  

See:

Pex on Microsoft Research

MSDN Flash Podcast Show 012 - Pex automated testing at TechEd Europe

Hanselminutes Podcast 93 - Pex with Jonathan 'Peli' de Halleux and Nikolai Tillmann