Samples

    • 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