Entries:
Comments:
Posts:

Loading User Information from Channel 9

Something went wrong getting user information from Channel 9

Activity Profile

Latest Achievement:

Loading User Information from MSDN

Something went wrong getting user information from MSDN

Visual Studio Achievements

Visual Studio Achievements

Latest Achievement:

Loading Visual Studio Achievements

Something went wrong getting the Visual Studio Achievements

BradO

Subscribe to this feed

BradO OSS Developer

Check me out on the web at my blog.

msdn

Niner since 2008

Comments

Research: Contract Checking and Automated Test Generation with Pex
Nov 06, 2008 at 7:34 AM

Agreed....Your Pex talk was one of the favorite I attended at PDC (despite the cheesy scripted dialogue - I didn't mind it . You guys did great breaking it down for people new to Design by Contract such as myself.

But until this stuff is released under a non-research license, I just can't feel like I can use it and invest any time into it

But great talk, great work on the technology...these are the things that excite me about where Microsoft is going
Microsoft Visual Studio Team System: A Lap Around VSTS 2010
Nov 06, 2008 at 7:26 AM

Cameron - your talk at PDC 2008 was one of the top 3 I attended - excellent prep and presentation