Channel 9 Home
Search Channel 9
Mike Barnett has been at Microsoft Research since 1995. He is happiest when working on program specification technology. Before working on Code Contracts for .NET, he was part of the Spec# project.
Better Code Through Smart Assertions and Unit Tests
Code Contracts and Pex: Power Charge Your Assertions and Unit Tests