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

  • Anonymous
    October 03, 2008
    PingBack from http://www.easycoded.com/pex-at-pdc2008/

  • Anonymous
    October 21, 2008
    Do you control your code? Did you ever write some new code, change some old code, or simply look at existing

  • Anonymous
    October 22, 2008
    We just released the most exciting iteration of Pex to this date: version 0.8. The Microsoft Research

  • Anonymous
    October 23, 2008
    Soma just announced DevLabs ( http://msdn.microsoft.com/DevLabs ), "a site dedicated to [...] software