Future contributions to this project are discouraged; please create your own projects on CodePlex to host Pex extensions. Feel free to drop a post in the MSDN Pex Forum to announce your extension.

Please go to the Pex web site to obtain Pex.

Please go to the Pex forum to read and write forum posts on Pex.

Please go to Pex ASE extensions web for Pex extensions developed by NCSU ASE research group in collaboration with the Microsoft Research Pex team.

Please go to the DySy site for downloading DySy.

Last edited Nov 18, 2009 at 8:33 PM by taoxie, version 44