About Pex Extensions
This project is dedicated to discussion and extensions related to the Pex (Program EXploration) offering from Microsoft Research. You are also strongly encouraged to join the Microsoft Research Pex mailing list, and if your questions are Pex specific you may get a qicker response by posting to the message list. Additionally, bugs thought to be caused by Pex itself, rather than any particular Pex extension, will probably be resolved quicker by emailing them here.
Recent News
- August 26, 2008, new PexEx binary release available for use with Pex v0.6.30728.0. Download it here
- July 30, 2008, new Pex release ( v0.6.30728.0 ) Download it here.
- May 22 2008, first Pex release.
Blogs
Nikolai Tillmann, the leader of the Pex (Program EXploration) project, has the definitive Pex blog. Peli de Halleux, another key Pex member with Microsoft Research , also has an excellent blog at Peli's Farm.
Community Blogs
Ben Hall, a UK based Developer\Tester has a series of articles on his blog Blog.BenHall.me.uk
Extensions
How do I ... ?
|
