Search Wiki:

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


Last edited Wed at 4:38 PM  by BKStrelioff, version 22
Comments
No comments yet.

Updating...