is a procedure used to validate that individual units of source code are working properly. A unit is the smallest testable part of an application, i.e. a class or method in .Net. Several frameworks
exist to automate the discovery, execution and result logging of the unit test.
Pex supports a large number of .Net test frameworks