Pex at PDC2008


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.


Comments (4)

  1. Do you control your code? Did you ever write some new code, change some old code, or simply look at existing

  2. We just released the most exciting iteration of Pex to this date: version 0.8. The Microsoft Research

  3. Soma just announced DevLabs ( http://msdn.microsoft.com/DevLabs ), "a site dedicated to […] software

Skip to main content