- Mock object sample (simple file system): MockObjectSample.cs
- UIntStack (from Stotts et al.): the whole Visual Studio solution including all the source files below
- Class under test: UIntStack.cs
- Sample Pex test class/methods: UIntStackPexTest.cs
- Sample factory method for UInStack objects: UIntStackFactory.cs
- Sample basic test class/methods: UIntStackPexBasicTest.cs
- Pex test class/methods template (generalized from UIntStackPexBasicTest.cs): UIntStackPexBasicTestPUT.cs
- PUTs for Push written in a top down way: UIntStackPexBasicTestPUTTopDownWay.cs
- Regression testing example: UIntStackRegressionTest.cs