The videos of TechDays are up:

• TOOL302 Code Contracts, Pex and CHESS- 3 Tools, One Talk (englanninkielinen)
• TOOL404 Pex – Automated White Box Testing for .NET (englanninkielinen)

While attending TechDays Finland in Helsinki, I had the opportunity (thanks Vesa) to take a swim in the baltic frozen sea along with fellow Microsoftie Scott Galloway (i’ll spare you the video of the actual bath).

Great way to dust off the remaining of jetlag.

ps: Yes we are standing on the sea.

The next version of Moq 3.0 will work better for Pex:

http://www.clariusconsulting.net/blogs/kzu/archive/2009/03/05/120009.aspx

In the past, Pex would analyze the Moq ‘engine’ code and spend a large amount of time trying to understand the internals of that framework. In this release, Daniel has added special annotations (see extension writer Handbook) that shut down the Pex monitoring for certain areas of Moq which don’t matter to analyse the code under test.