Thursday, November 06, 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

 | 
posted on Thursday, November 06, 2008 3:10:22 PM UTC  #    Comments [4]
Related posts:
A K-Shortest Path implementation in .Net
Testing Graph Algorithms With Optimal Solutions
Writing a DisjointSet in C# with the help of Code Contracts and Pex.
Pex: Code Digger in the CodeProject.Com
Pex at the Seattle Code Camp – this Saturday at 2.45pm
Enter the Digger
Friday, November 07, 2008 2:27:57 PM UTC
Jonathan,

This is great! Now we just need to get the contracts projects under a commercial-friendly license until .NET 4 comes along.
Judah
Saturday, November 08, 2008 1:47:30 PM UTC
It's coming...
Peli
Tuesday, November 11, 2008 2:39:39 PM UTC
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
Thursday, November 13, 2008 2:33:43 AM UTC
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 Wednesday, January 07, 2009 7:02:07 AM UTC