Pex - Automated Whitebox Testing for .NET : Analyzing Boundaries
The exploration process in Pex is bounded by many gates. Depending on the type of application that Pex explores, different boundaries might be triggered. To increase the efficiency of Pex, the user might have to modify the default values of those boundaries.

The reports provide a table indicating which boundary was reached and how often. It can be used to efficiently tune the values.

Boundary Menu

The menu will display at the assembly, fixture or exploration level if any boundary was reached. Click to open/close the table.

Boundary Table

The boundary table provides the kind of boundary and number of occurences. The boundary value can be updated through the settings attributes.
(c) Microsoft Corporation. All rights reserved. pex Wiki Documentation 0.93.50813.0