Home
About
Contact
Saturday, May 24, 2008

Pex Earlier this month Fredrik Normén wrote a post about argument validation. Yesterday Rune Grothaug from MS Norway posted a link to a new tool MS has developed in their research lab called Pex (Program EXploration). Combining these two (argument validation and Pex) have to be a perfect match.

.Net | Testing | Tools
OpenID
Please login with either your OpenID above, or your details below.
Name
E-mail
(will show your gravatar icon)
Home page

Comment (Some html is allowed: a@href@title, b, blockquote@cite, em, i, strike, strong, sub, sup, u) where the @ means "attribute." For example, you can use <a href="" title=""> or <blockquote cite="Scott">.  

Live Comment Preview
RSS RSS - Comments Twitter LinkedIn
         
SEARCH
 
 
         
TOP POSTS
   
         
NAVIGATION
   
         
CATEGORIES
  .Net (39) Agile (22) Ajax (5) Architecture (2) Blogging (11) Books (1) BPEL (1) CSharp (6) DasBlog (5) Database (2) DDD (1) Deployment (11) DSL (1) Events (26) ExtremeProgramming (3) Fun (5) Gadgets (3) IIS (6) Java (1) Linq (2) MemoryLeaks (5) Microsoft (34) NDC (2) NNUG (26) Other (8) Patterns (3) Scrum (13) Security (2) Silverlight (4) Software (17) TeamManagement (8) TechEd (7) Testing (4) Tools (19) TvGuide (1) Vista (15) VisualStudio (14) WCF (6) Web (11) Windows (6) WiX (5) Work (12) Workflow (2)  
         
ARCHIVE
   
         
BLOGROLL
   
         
ON THIS PAGE...