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