We are very excited to announce that Pex has a session at PDC 2008. The session combines two topics: how to write and statically check code contracts in the spirit of Spec#, and how to generate test cases with Pex directly from your product code. We'll demo new cool features you haven't seen before.

Book it now in your conference agenda! (look for Research in the session list, or search for Pex).

image

See you there and don’t forget to swing by the Microsoft Research booth where we'll demo Pex just for you.