One of the 6 sessions I and Mikael Nitell is running on MSDN Live 2010 here in Norway is about Code Quality, and part of that session goes through the use of Code Contracts and Pex. Both fantastic tools ! They can be used together, but are also completely independent from each other, and each can be used single. Code Contracts has to downloaded separately from VS 2010 (works also on VS 2008). Start looking at http://msdn.microsoft.com/e... . This download is a free download. ......