Reference Manual

• Getting Started
• Cheat Page
• Visual Studio Shortcuts
• Frequently Asked Questions
• Introduction
• How Pex Will Help You
• Limitations of Pex
• Getting Started
• Creating a Pex Project in Visual Studio
• Generating Tests
• The "Hello World" of Pex
• Test Generation
• Configuring Code Instrumentation
• Test To Code Binding
• Test Generators
• Parameterized Unit Testing
• Generic Parameterized Unit Testing
• Exploration of Existing Unit Test
• Assumptions and Assertions
• Pruning by Assumptions
• Input Generation
• Integers And Floats
• Objects
• Using Types
• Instantiating Existing Classes
• Creatables
• Explorables
• Parameterized Mocks
• Structs
• Arrays, Strings
• Obtaining Additional Inputs from the PexChoose static class
• Test Failures
• Allowing Exceptions
• Where do the Tests go?
• Settings
• Testing Internal Types
• Test Generation, Advanced Topics
• Coverage
• Visibility
• Pex Packages, Exploration Packages, Path Packages
• Freezing Current Behavior for Future Regression Testing
• Adding a Copyright to Generated Tests
• Generated Unit Test Attributes
• Crafting Test Names
• Exception Injection
• Debugging
• Source Control Interaction
• Symbols And Sources
• Unit Test Frameworks Integration
• SetUp And TearDown (Exploration Life Cycle)
• Ignoring Explorations
• Generated Tests
• Test Bookkeeping
• Issue Tracking
• Propagation of Satellite Attributes
• Supported Test Frameworks
• Supported Test Languages
• Analyzing Reports
• Errors and Warnings
• Report Auto-Cleaning
• Analyzing Uninstrumented Calls
• Analyzing Exceptions
• Exception Frame Tree
• Exception Table
• Analyzing Coverage
• Coverage Filtering
• Analyzing Generated Tests
• Analyzing Boundaries
• Visual Studio Integration
• Visual Studio Exploration Progress
• Visual Studio Execution Modes
• Snippets
• Tools
• Command Line
• Command Line Filters Syntax
• Pex Wizard
• Extensibility
• Wizard Extensions
• Research Problems
• Coding Guidelines For Extensions
• Packaging Extensions

Reference

• Attribute Glossary
• All Settings
• Warnings And Errors
• Exit Codes
• Static Helper Classes
• Detecting Pex Installation With Wix