Pex is available for commercial evaluation or academic purposes as of January 13, 2009

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 read or post at the Pex MSDN forum, and if your questions are Pex specific you may get a qicker response by posting to the Pex MSDN forum.

Additionally, bugs thought to be caused by Pex itself, rather than any particular Pex extension, will probably be resolved quicker by posting your bug reports at the Pex MSDN forum.

Extensions

Blogs

Community Blogs


Teaching and Training of Using Pex

How do I ... ?

Last edited May 4 at 5:45 PM by ben2004uk, version 40

 

Want to leave feedback?
Please use Discussions or Reviews instead.

Updating...
© 2006-2009 Microsoft | About CodePlex | Privacy Statement | Terms of Use | Code of Conduct | Advertise With Us | Version 2009.10.27.15987