Generated Unit Test Attributes
When Pex generates the unit tests, it also emits a number of attributes
that give information about the test. These attributes can be used to build tools that will automatically apply transformation/maintainance to those tests.
Pex also emits other attributes that a test framework would expect: