Pex Demo, see http://research.microsoft.com/en-us/projects/pex/