pex Archive

Gamifying Software Testing with pex4fun

Pex is a test generation tool for .NET for Microsoft Research that builds on dynamic symbolic execution and constraint solving. After building the Pex engine as a Visual Studio extensions, we decided to make it available on

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

Moles: Mocking the Un-Mockable

In this episode we are going to take at how to use Pex and Moles for .Net. Unit testing is great, but most free isolation frameworks require that your mocks implement an interface. But what do you

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