That was one of the most embarrassing tech talks I have ever witnessed.
Loading User Information from Channel 9
Something went wrong getting user information from Channel 9
Loading User Information from MSDN
Something went wrong getting user information from MSDN
Loading Visual Studio Achievements
Something went wrong getting the Visual Studio Achievements
@aL3891: And Z3 is one of the world's fastest constraints solvers
Looks like the Pex wizards will supply what you're looking for (Pex++). See Nikolai's comment above.
@Jeff Benson: Lazy? This is not a presentation or lecture. It's a conversation. There's a difference.
@ryknyk: Not a silly question... This was posted here because all of this content was about to be deleted from another site (due to lifetime restrictions) - and we don't think this content should disappear forever! There is some great stuff here.
@aL3891: Did you watch the video, aL?
@NotFredSafe: Not you. We should be able to fix.
EDIT: Fixed. Thanks, Golnaz!!