The Synergy of Code Contracts and Pex

Published August 26th, 2009 Under Coding, Software Testing | Leave a Comment

Manuel Fähndrich and Peli de Halleux sit down for a quick coding session that shows how to use Code Contracts and Pex together. Code Contracts can be used to specify what your code should do, they get turned into runtime checks which Pex can analyze and try to find counter-examples for. This was a fun session with Manuel and really shows the synergy of the two tools/approaches.


Get Microsoft Silverlight

Related Videos:


Comments

Name (required)

Email (required)

Website

Speak your mind

CAPTCHA Image
*