This blog is no longer in activity.
Please refer to http://research.microsoft.com/pex for more details.