Pex now a DevLabs project

Soma just announced DevLabs (http://msdn.microsoft.com/DevLabs), “a site dedicated to […] software innovations for the developer community”. We are proud that Pex is one of the first projects hosted on DevLabs. What does that mean for Pex? Pex for Visual Studio Team System 2010 CTP At the same time as Pex became a DevLabs project, we…

1

Pex 0.8 Released, featuring Code Digger and Stubs

We just released the most exciting iteration of Pex to this date: version 0.8. Update: Pex is now a DevLabs project, and available as a Microsoft Download for Visual Studio 2010 CTP. (It won’t install without it.) The Microsoft Research download still comes with the Microsoft Research license, so you cannot use it for commercial…

1

Sneak Preview: Code Digger — The New Pex Experience

NEW: Code Digger now available for Visual Studio 2012 Download it now from the Visual Studio Gallery. Read my latest blog post on how to use Code Digger for Visual Studio 2012. Note: Code Digger for Visual Studio 2012 is somewhat different from Code Digger for VS2008 and VS2010 that is described below. In particular,…

6

Pex at PDC2008

We are very excited to announce that Pex has a session at PDC 2008. The session combines two topics: how to write and statically check code contracts in the spirit of Spec#, and how to generate test cases with Pex directly from your product code. We’ll demo new cool features you haven’t seen before. Book…

4

Pex 0.7 Released

We just published Pex 0.7. This update is mainly a maintenance release. We have been working on fixing bugs, those reported by our users, as well as many others we found while using Pex internally. There are a few breaking changes (mainly renamings), and a few improvements under the cover. Patterns for Parameterized Unit Testing…

2

Pex 0.6 Released

We just released another milestone for Pex: version 0.6, still under the Microsoft Research License. Ideally you have Visual Studio 2008 Professional to get the full experience, but all you really need is .NET 2.0. Take a look at exercise 3 in the tutorial to get started in Visual Studio 2008 Professional, and exercise 4…

4

Fun with the ResourceReader

After we released Pex recently, I came across a couple of interesting blog posts of people who tried out Pex, for example Ben Hall, Peter, and Stan. They all ran Pex on a small example. In this post, I want to run Pex on a more complicated piece of code: The .Net ResourceReader, and all the…

2

Pex 0.5 Released

Today we released the first version of Pex under a Microsoft Research License. Ideally you have Visual Studio 2008 Professional to get the full experience, but all you really need is .NET 2.0. We even wrote a tutorial. While it’s quite long, exercise 3 helps you to get started with Visual Studio 2008 Professional, and…

4