Research: BAM, AjaxScope, and Doloto

Great stuff!
I must admit I was saddened to hear Spec# wouldn't be integrated into C# 4. But this is the next best thing; I'm glad to see design-by-contract getting some attention in the .NET framework itself.
If I may comment on the presentation, it feels like you both should have had your own presentations. It felt too rushed and too crammed.
Having Mike go deeper into the evolution of Spec# and why they chose a library instead of C# langauge integration would've been great. And Nikolai covering more real-world unit testing scenarios with Pex - for example, testing code with dependencies like the
file system or UI using Pex, would have been a great presentation by itself.
Also, the rehearsed Q&A between Mike and Nikolai was cheesy. Too tongue-in-cheek!
Beyond that, great stuff guys! I'm really happy to see DbC getting some real attention, I believe it will help us write code that more clearly expresses our intent and contains fewer bugs. That's something every developer can get behind. Going to go download
and play with the VS2008-integration...
Pex is now available for Visual Studio 2008 under the pre-release license. Check it out at https://research.microsoft.com/pex/downloads.aspx .