pex Archive

Code Contracts in .NET 4

This video explains code contracts in .NET and how they can be used to improve data integrity, consistency, and development velocity with minimal impact to the size of the source base and even to production performance. It

Code Contracts and Pex: Power Charge Your Assertions and Unit Tests

This video shows how Code Contracts provides a set of tools for design-by-contract programming and how Pex is an advanced unit-testing tool that uses automated program exploration to intelligently create unit tests with high code coverage. See

Pex – Unit Testing of SharePoint Services that Rocks!

SharePoint Services are challenging for unit testing because it is not possible to execute the SharePoint Service without being connected to a live SharePoint site. For that reason, most of the unit tests written for SharePoint are

The Synergy of Code Contracts and Pex

Manuel Fähndrich and Peli de Halleux sit down for a quick coding session that shows how to use Code Contracts and Pex together. Code Contracts can be used to specify what your code should do, they get

Getting started with Pex in Visual Studio 2008

Nikolai Tillmann and Peli de Halleux give a short tutorial on Pex, an automated white box testing tool for .Net. The tutorial is a pair-programming session where they show us how to get started with Pex in