Peli's Farm - Pex, Stubs, QuickGraph, MbUnit, Reflector Addins
Pex, Stubs, QuickGraph, MbUnit, Reflector Addins
# Monday, March 12, 2007
Pex screencast... with comments

The Pex screencast was a bit mysterious without sound and comments. I've added a 'storyboard' to help you understand it:

   http://research.microsoft.com/pex/screencast.aspx


 

Pex | Testing
posted on Monday, March 12, 2007 5:31:29 PM (Pacific Daylight Time, UTC-07:00)  #    Comments [1]
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

Page rendered at Saturday, July 04, 2009 8:45:43 AM (Pacific Daylight Time, UTC-07:00)

Navigation
Home
Twitter
~jhalleux
My Videos on Channel9
Pex
RiSE
QuickGraph
Reflector Addins
MbUnit

Feed your aggregator (RSS 2.0) | Send mail to the author(s)

On this page
Pex screencast... with comments
 
Archive
<July 2009>
SunMonTueWedThuFriSat
2829301234
567891011
12131415161718
19202122232425
2627282930311
2345678


June, 2009 (2)
May, 2009 (6)
April, 2009 (6)
March, 2009 (2)
February, 2009 (3)
January, 2009 (8)
December, 2008 (4)
November, 2008 (3)
October, 2008 (6)
September, 2008 (4)
August, 2008 (3)
July, 2008 (3)
June, 2008 (2)
May, 2008 (3)
February, 2008 (6)
January, 2008 (1)
December, 2007 (5)
November, 2007 (1)
October, 2007 (3)
September, 2007 (5)
August, 2007 (2)
July, 2007 (4)
June, 2007 (2)
May, 2007 (2)
April, 2007 (5)
March, 2007 (3)
February, 2007 (2)
November, 2006 (1)
September, 2006 (2)
March, 2006 (1)
February, 2006 (1)
January, 2006 (1)
November, 2005 (3)
October, 2005 (4)
September, 2005 (1)
July, 2005 (4)
June, 2005 (8)
May, 2005 (2)
April, 2005 (2)
January, 2005 (5)
December, 2004 (3)
November, 2004 (8)
October, 2004 (10)
September, 2004 (33)
August, 2004 (24)
July, 2004 (42)
June, 2004 (35)
May, 2004 (30)
April, 2004 (26)

Month View
Categories
[RSS] Articles
[RSS] Build
[RSS] CCI
[RSS] CHESS
[RSS] Code Contracts
[RSS] dasBlog
[RSS] Fun with graphs
[RSS] MbUnit
[RSS] NSteer
[RSS] Personal
[RSS] Pex
[RSS] QuickGraph
[RSS] Reflector
[RSS] RiSE
[RSS] Stubs
[RSS] Testing
[RSS] Toad
Blogroll

Disclaimer
The opinions expressed herein are my own personal opinions and do not represent my employer's view in anyway.

© Copyright 2009 Jonathan 'Peli' de Halleux

Theme design by James Snape with newtelligence dasBlog 2.2.8279.16125
Pick a theme:
Sign In
Subscribe to this weblog's RSS feed with SharpReader, Radio Userland, NewsGator or any other aggregator listening on port 5335 by clicking this button.