Peli's Farm - Pex, Stubs, Moles, QuickGraph, MbUnit, Reflector Addins

Wednesday, November 05, 2008

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/

Pex | Testing

posted on Wednesday, November 05, 2008 11:10:22 PM (Pacific Standard Time, UTC-08:00)

Comments [4]
Related posts:
www.pexforfun.com–> try Pex in your browser
New Pex release 0.92: Rex and Silverlight
Rex integrates Pex
Get Moles for free on Visual Studio Gallery
Pex 0.91 is out!
Be a Pex and Moles Fan!

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.