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?...

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...

Do you control your code? Did you ever write some new code, change some old code, or simply look at existing code, and you were not quite sure what it was capable of? Which inputs would trigger a successful "happy" path, and which ones would be rejected...

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...