After more than a year of community feedback on DevLabs, Pex has taken the next step and have become a Visual Studio 2010 Power Tool. You can download Pex and learn more about the new license terms at http://research.microsoft.com/pex. The Pex forum is still there to help you with questions.
Thank you for your support and interest,
The Pex Team.