If you're interrested on reading more about Pex, here are some online document that should get you satisfied:

• the tutorial: http://research.microsoft.com/pex/articles/pextutorial.pdf
• the reference manual: http://research.microsoft.com/pex/wiki/Reference%20Manual.html (single page)

The tutorial contains hands-on labs and exercises to understand how Pex generates new test cases. Highly recommend if you're interrested on Pex.

Happy reading!

Nikolai broke the news; we've just released Pex 0.5... get it while it's hot!

We're eager to hear some feedback, so don't hesitate to tell us what you think about it.

We'll be at Agile 2008 presenting "Exploratory Test Driven Development: Red,Yellow, Green, Refactor".