# Wednesday, November 05, 2008
Code Digger Session on Channel 9

Check out the session on Code Contracts and Pex on Channel 9. You will learn about the new cool API to express pre-conditions, post-conditions and invariants in your favorite language – i.e. design by contracts (DbC) for .NET and the new Code Digger experience in Pex, and most importantly how DbC and Pex play well together.

http://channel9.msdn.com/pdc2008/tl51/

image

Pex | Testing
posted on Wednesday, November 05, 2008 11:10:22 PM (Pacific Standard Time, UTC-08:00)  #    Comments [4]
Related posts:
Specifying Inversion of Control through Contracts for Interfaces
Taming the Pex beast: Well-behaved enums, multi-dimensional arrays and booleans
Presenting Pex to your co-workers? Use our slide decks…
Stubs as Parameterized Models with Contracts
Pex 0.12.40430.3 : Exploration Tree View, Partial Stubs…
Design By Contracts meets Automated White box Testing
Thursday, November 06, 2008 10:27:57 PM (Pacific Standard Time, UTC-08:00)
Jonathan,

This is great! Now we just need to get the contracts projects under a commercial-friendly license until .NET 4 comes along.
Judah
Friday, November 07, 2008 9:47:30 PM (Pacific Standard Time, UTC-08:00)
It's coming...
Peli
Monday, November 10, 2008 10:39:39 PM (Pacific Standard Time, UTC-08:00)
Hello,

I have VS 200 5-8 and would like to use pex, but the link to the download ftp is broken, please be kind enough to provide a 32 and 64 bit version to download.

Thank you,
Stephen


stephen patten
Wednesday, November 12, 2008 10:33:43 AM (Pacific Standard Time, UTC-08:00)
Hi Stephen,

This is the link to the 2008 release: http://research.microsoft.com/pex/downloads.aspx

Can you tell me which link is broken? We do not have ftp servers.

Cheers,
Peli
Peli
Comments are closed.

Page rendered at Saturday, July 04, 2009 9:00:57 AM (Pacific Daylight Time, UTC-07:00)