{"id":169746,"date":"2007-02-21T17:06:41","date_gmt":"2007-02-21T17:06:41","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/project\/pex-and-moles-isolation-and-white-box-unit-testing-for-net\/"},"modified":"2026-07-13T10:29:39","modified_gmt":"2026-07-13T17:29:39","slug":"pex-and-moles-isolation-and-white-box-unit-testing-for-net","status":"publish","type":"msr-project","link":"https:\/\/www.microsoft.com\/en-us\/research\/project\/pex-and-moles-isolation-and-white-box-unit-testing-for-net\/","title":{"rendered":"Pex and Moles &#8211; Isolation and White Box Unit Testing for .NET"},"content":{"rendered":"<section class=\"mb-3 moray-highlight\">\n\t<div class=\"card-img-overlay mx-lg-0\">\n\t\t<div class=\"card-background  has-background-catalina-blue card-background--full-bleed\">\n\t\t\t\t\t<\/div>\n\t\t<!-- Foreground -->\n\t\t<div class=\"card-foreground d-flex mt-md-n5 my-lg-5 px-g px-lg-0\">\n\t\t\t<!-- Container -->\n\t\t\t<div class=\"container d-flex mt-md-n5 my-lg-5 \">\n\t\t\t\t<!-- Card wrapper -->\n\t\t\t\t<div class=\"w-100 w-lg-col-5\">\n\t\t\t\t\t<!-- Card -->\n\t\t\t\t\t<div class=\"card material-md-card py-5 px-md-5\">\n\t\t\t\t\t\t<div class=\"card-body \">\n\t\t\t\t\t\t\t\n\t\t\t\t\t\t\t\n\n<h1 id=\"pex-and-moles-isolation-and-white-box-unit-testing-for-net\" class=\"wp-block-heading h2\">Pex and Moles &#8211; Isolation and White Box Unit Testing for .NET<\/h1>\n\n\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/div>\n<\/section>\n\n\n\n\n\n<p class=\"wp-block-paragraph\"><em><strong>Note<\/strong>: The Pex and IntelliTest project has reached its conclusion. These pages are maintained for reference and archival purposes.<\/em><\/p>\n\n\n\n<p class=\"asset-content wp-block-paragraph\">Pex automatically generates test suites with high code coverage using automated white box analysis. Pex is a Visual Studio add-in for testing .NET Framework applications. Moles supports unit testing by providing isolation by way of detours and stubs. The Moles framework is provided with Pex, or can be installed by itself as a Microsoft Visual Studio add-in.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/learn.microsoft.com\/en-us\/visualstudio\/releases\/2017\/vs2017-relnotes#Testing\" type=\"link\" id=\"https:\/\/learn.microsoft.com\/en-us\/visualstudio\/releases\/2017\/vs2017-relnotes#Testing\" target=\"_blank\" rel=\"noopener noreferrer\">IntelliTest in Visual Studio 2015<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> is the evolution of Pex. IntelliTest is a feature integrated in Visual Studio Enterprise 2015. IntelliTest works together with Fakes.<\/p>\n\n\n\n<h2 id=\"a-roadmap-in-retrospective\" class=\"wp-block-heading\">A Roadmap in Retrospective<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\"><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/learn.microsoft.com\/en-us\/visualstudio\/releases\/2017\/vs2017-relnotes#Testing\" type=\"link\" id=\"https:\/\/learn.microsoft.com\/en-us\/visualstudio\/releases\/2017\/vs2017-relnotes#Testing\" target=\"_blank\" rel=\"noopener noreferrer\"><strong>IntelliTest in Visual Studio 2015 is the next generation of Pex.<\/strong><span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/learn.microsoft.com\/en-us\/previous-versions\/visualstudio\/visual-studio-2012\/hh549175(v=vs.110)?redirectedfrom=MSDN\" type=\"link\" id=\"https:\/\/learn.microsoft.com\/en-us\/previous-versions\/visualstudio\/visual-studio-2012\/hh549175(v=vs.110)?redirectedfrom=MSDN\" target=\"_blank\" rel=\"noopener noreferrer\"><b>The Fakes Framework in Visual Studio\u00a02012 and 2013 and 2015 is the next generation of Moles & Stubs.<\/b><span class=\"sr-only\"> (opens in new tab)<\/span><\/a> Fakes is different from Moles, however, so moving from Moles to Fakes will require some modifications to your code. Moles will not be developed further, so we recommend to migrate to Fakes.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Thanks for your support, The Pex and Moles Team.<\/p>\n\n\n\n\n\n<h2 id=\"pex-and-moles\" class=\"wp-block-heading\">Pex and Moles<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Pex and Moles are <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/marketplace.visualstudio.com\/search?term=pex&target=VS&category=All%20categories&vsVersion=&sortBy=Relevance\" type=\"link\" id=\"https:\/\/marketplace.visualstudio.com\/search?term=pex&target=VS&category=All%20categories&vsVersion=&sortBy=Relevance\" target=\"_blank\" rel=\"noopener noreferrer\">Visual Studio 2010 Power Tools<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> that help Unit Testing .NET applications.<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li><strong><span id=\"9b176e94-8baf-4388-85d0-7613e24ab936\" class=\"ImageBlock fr\"><span id=\"8294e00b-1ade-4b04-95b3-8f57219e6442\" class=\"fn ImageBlock\"><figure><img decoding=\"async\" id=\"Image8294e00b-1ade-4b04-95b3-8f57219e6442\" class=\"alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/pex-diggersnapshot.png\" alt=\"Pex Digger screenshot\"><\/figure><span id=\"ImageCaption8294e00b-1ade-4b04-95b3-8f57219e6442\" class=\"ImageCaptionCoreCss ImageCaption\"><\/span><\/span><\/span>Pex&nbsp;automatically generates test suites with high co<\/strong><strong>de coverage.<\/strong> Right from the Visual Studio code editor, Pex finds interesting input-output values of your methods, which you can save as a small test suite with high code coverage.&nbsp;Microsoft Pex is a Visual Studio add-in for testing .NET Framework applications.<\/li>\n\n\n\n<li><strong><span id=\"488ef327-2768-469a-a9c7-7a8c56b399cf\" class=\"ImageBlock fr\"><figure><img decoding=\"async\" id=\"Image488ef327-2768-469a-a9c7-7a8c56b399cf\" class=\"alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/pex-molestutorialsnapshot.png\" alt=\"pex moles tutorial screenshot\"><\/figure><\/span>Moles allows to replace any .NET method with a delegate. <\/strong><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" target=\"_blank\" href=\"https:\/\/learn.microsoft.com\/en-us\/previous-versions\/visualstudio\/visual-studio-2012\/hh549175(v=vs.110)?redirectedfrom=MSDN\" type=\"link\" id=\"https:\/\/learn.microsoft.com\/en-us\/previous-versions\/visualstudio\/visual-studio-2012\/hh549175(v=vs.110)?redirectedfrom=MSDN\"><b>The Fakes Framework in Visual Studio\u00a02012 is the next generation of Moles & Stubs, and will eventually replace it.<\/b><span class=\"sr-only\"> (opens in new tab)<\/span><\/a> Moles supports unit testing by providing isolation by way of detours and stubs.\u00a0The Moles framework is provided with Pex, or can be installed by itself as a Microsoft Visual Studio add-in.\n<ul class=\"wp-block-list\">\n<li><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/marketplace.visualstudio.com\/items?itemName=NikolaiTillmann.VisualStudio2010Pex-WhiteboxUnitTestingforNET\" type=\"link\" id=\"https:\/\/marketplace.visualstudio.com\/items?itemName=NikolaiTillmann.VisualStudio2010Pex-WhiteboxUnitTestingforNET\" target=\"_blank\" rel=\"noopener noreferrer\">Download Visual Studio 2010 Pex &#8211; White box Unit Testing for .NET<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/marketplace.visualstudio.com\/items?itemName=Peli.VisualStudio2010Molesx64-IsolationFrameworkforNET\" type=\"link\" id=\"https:\/\/marketplace.visualstudio.com\/items?itemName=Peli.VisualStudio2010Molesx64-IsolationFrameworkforNET\" target=\"_blank\" rel=\"noopener noreferrer\">Download Moles x64 &#8211; Isolation Framework for .NET<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<\/ul>\n<\/li>\n<\/ul>\n\n\n\n\n\n<h2 id=\"try-it-out-on-the-web\" class=\"wp-block-heading\">Try it Out on the Web<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\"><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/project\/pex4fun\/\">Pex4Fun &#8211; Microsoft Research<\/a> <\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Pex for fun on the web is a radically simplified version of the fully featured Pex Power Tool for Visual Studio. You do not need to install anything; all the work happens in the cloud. You can write code in C#, Visual Basic, or F#. Go to <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" target=\"_blank\" href=\"http:\/\/www.pexforfun.com\/\">www.pexforfun.com<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>, which comes with a set of code puzzles. Then click on the \u201cAsk Pex!\u201d button to get the answer yourself. Share your puzzles with your friends. <\/p>\n\n\n\n<figure class=\"wp-block-image size-full\"><img loading=\"lazy\" decoding=\"async\" width=\"536\" height=\"356\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/pex-pexforfun.png\" alt=\"Pex for fun screenshot\" class=\"wp-image-178166\" srcset=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/pex-pexforfun.png 536w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/pex-pexforfun-300x199.png 300w\" sizes=\"auto, (max-width: 536px) 100vw, 536px\" \/><\/figure>\n\n\n\n\n\n<h2 id=\"want-to-know-more\" class=\"wp-block-heading\">Want to Know More?<\/h2>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Watch the 5 hours workshop on Pex and Moles (part <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/channel9.msdn.com\/posts\/channel9spain\/Microsoft-PEXMOLES--advanced-Unit-Testing-aspects-13\/\" target=\"_blank\">1<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>, <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/channel9.msdn.com\/posts\/channel9spain\/Microsoft-PEXMOLES--advanced-Unit-Testing-aspects-23\/\" target=\"_blank\">2<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> ,<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/channel9.msdn.com\/posts\/channel9spain\/Microsoft-PEXMOLES--advanced-Unit-Testing-aspects-33\/\" target=\"_blank\">3<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>)<\/li>\n\n\n\n<li><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/bit.ly\/dljKCr\" target=\"_blank\">Watch the PDC 2010 talk <span class=\"sr-only\"> (opens in new tab)<\/span><\/a>[<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" target=\"_blank\" href=\"http:\/\/microsoftpdc.com\/Sessions\/VTL01\">2009<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>, <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" target=\"_blank\" href=\"http:\/\/channel9.msdn.com\/pdc2008\/TL51\/\">2008<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>]<\/li>\n<\/ul>\n\n\n\n\n\n<h2 id=\"pex-in-the-news-and-blogs\" class=\"wp-block-heading\">Pex in the News and Blogs<\/h2>\n\n\n\n<ul class=\"wp-block-list\">\n<li><strong>July 5, 2015: <\/strong>Pratap Lakshman on <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/blogs.msdn.com\/b\/visualstudioalm\/archive\/2015\/07\/05\/intellitest-one-test-to-rule-them-all.aspx\" target=\"_blank\">IntelliTest &#8211; One Test to rule them all<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>May 22, 2015: <\/strong>ALM rocks: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/almrocks.com\/?p=488\" target=\"_blank\">IntelliTest-What Happens If I Add Some More Code<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>May 21, 2015: <\/strong>ALM rocks: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/almrocks.com\/?p=483\" target=\"_blank\">IntelliTest-Getting Started<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>April 18, 2015: <\/strong>Pratap Lakshman on <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/blogs.msdn.com\/b\/visualstudioalm\/archive\/2015\/04\/18\/smart-unit-tests-test-to-code-binding-test-case-management.aspx\" target=\"_blank\">Smart Unit Tests &#8211; Test to Code Binding, Test Case Management<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>April 2, 2015: <\/strong>developertech: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" target=\"_blank\" href=\"http:\/\/www.developer-tech.com\/news\/2015\/apr\/02\/visual-studio-2015-line-and-pricing-announced\/\">Visual Studio 2015 line-up and pricing announced<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>&nbsp;(includes IntelliTest!)<\/li>\n\n\n\n<li><strong>February 2015:<\/strong> MSDN Magazine on <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"https:\/\/msdn.microsoft.com\/en-us\/magazine\/dn904672.aspx\" target=\"_blank\">Visual Studio 2015 &#8211; Build Better Software with Smart Unit Tests<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>December 11, 2014: <\/strong>Pratap Lakshman on <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/blogs.msdn.com\/b\/visualstudioalm\/archive\/2014\/12\/11\/smart-unit-tests-a-mental-model.aspx\" target=\"_blank\">Smart Unit Tests &#8211; a mental model<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>November 25, 2014: <\/strong>.Net Rocks! interviews the Pex team: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" target=\"_blank\" href=\"http:\/\/www.dotnetrocks.com\/default.aspx?showNum=1065\">Testing Software Using Pex<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>November 19, 2014:<\/strong> Pratap Lakshman on <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/blogs.msdn.com\/b\/visualstudioalm\/archive\/2014\/11\/19\/introducing-smart-unit-tests.aspx\" target=\"_blank\">Introducing Smart Unit Tests<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>June 9, 2013: <\/strong>Fabio Gouw on <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" target=\"_blank\" href=\"http:\/\/www.fabiogouw.com\/2013\/06\/pex-no-visual-studio-2012-code-digger-e.html\">Pex no Visual Studio 2012: Code Digger e TDD com teorias<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>April 25, 2013: <\/strong>Rion Williams on <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/www.codeproject.com\/Articles\/583520\/UsingplusPexplusandplusMicrosoftplusCodeplusDigger\" target=\"_blank\">Using Pex and Microsoft Code Digger to Better Understand and Test Your Code<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>Aril 25, 2013: <\/strong>Mike James on <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/www.i-programmer.info\/news\/89-net\/5798-code-digger-finds-the-values-that-break-your-code.html?utm_medium=twitter\" target=\"_blank\">Code Digger Finds The Values That Break Your Code <span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>April 1, 2013: <\/strong>Maurizio Pianfetti on <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/boymix81.mynickname.info\/index.php\/en\/formazione\/6-tesi-tesine\/56-tesi-di-laurea-specialistica-strumenti-per-la-generazione-automatica-di-test-strutturali-e-funzionali.html\" target=\"_blank\">TOOLS FOR TEST GENERATION IN BLACK-BOX AND WHITE-BOX TESTING<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> (in Italian)<\/li>\n\n\n\n<li><strong>February 11, 2013: <\/strong>Visual Studio ALM + Team Foundation Server Blog announced <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/blogs.msdn.com\/b\/visualstudioalm\/archive\/2013\/02\/11\/february-ctp-for-visual-studio-update-2.aspx\" target=\"_blank\">Fakes now available in Visual Studio Premium<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>November 26, 2012: <\/strong>Dino Esposito at Dr. Dobb&#8217;s on <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/www.drdobbs.com\/testing\/pex-microsoft-researchs-unit-test-genera\/240009056\" target=\"_blank\">Pex: Microsoft Research&#8217;s Unit Test Generator and Evaluator<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>October 2, 2012: <\/strong>Jan Fajfr on <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/hoonzis.blogspot.fr\/2012\/09\/fakes-is-new-test-isolation-framework.html\" target=\"_blank\">Introduction to Fakes and migration from Moles<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>April 26, 2011: <\/strong>Jan Fajfr on <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/hoonzis.blogspot.fr\/2011\/04\/pex-moles-testing-business-layer.html\" target=\"_blank\">Pex&nbsp;& Moles &#8211; Testing business layer<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>February 22, 2011: <\/strong>Pex and Visual Studio in <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" target=\"_blank\" href=\"http:\/\/blogs.msdn.com\/b\/ukmsdn\/archive\/2011\/02\/22\/featured-article-pex-and-visual-studio.aspx\">MSDN UK Team blog<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>February 15, 2011: <\/strong>Bill Wagner on <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/billwagner.cloudapp.net\/Home\/Item\/AfunbrainexercisePexForFun\" target=\"_blank\">A fun brain exercise: PexForFun<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>October 25, 2010: <\/strong>Pex and Pex for fun article in print magazine <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/www.heise.de\/ct\/10\/23\/links\/048.shtml\" target=\"_blank\">c&#8217;t 23\/2010, page 48<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> (in German)<\/li>\n\n\n\n<li><strong>August 15, 2010: <\/strong>LaM on <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/lammichalfranc.wordpress.com\/2010\/08\/15\/microsoft-pex-automated-unit-testing\/\" target=\"_blank\">Microsoft Pex \u2013 Automated Unit Testing<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>August 2, 2010:<\/strong> <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" target=\"_blank\" href=\"http:\/\/www.sdtimes.com\/link\/34526\">Flexing Pex <span class=\"sr-only\"> (opens in new tab)<\/span><\/a>on the SD Times<\/li>\n\n\n\n<li><strong>July 15, 2010: <\/strong>A BinaryThought on <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/blog.binarythought.net\/post\/2010\/07\/15\/Pex-Power-Tools.aspx\" target=\"_blank\">Pex Power Tools<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>May 18, 2010: <\/strong>Assaf Stone on <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/blogs.microsoft.co.il\/blogs\/assafstone\/archive\/2010\/04\/21\/tdd-it-doesn-t-have-to-be-so-difficult.aspx\" target=\"_blank\">TDD: It Doesn\u2019t Have to Be So Difficult<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> using Pex and Moles (+ <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/blogs.microsoft.co.il\/blogs\/assafstone\/archive\/2010\/05\/18\/tdd-doesn-t-have-to-be-so-difficult-part-2.aspx\" target=\"_blank\">slides and demo code<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>)<\/li>\n\n\n\n<li><strong>May 10, 2010:<\/strong> Fernando Machado P\u00edriz has a screencast on <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/fernandomachadopirizen.wordpress.com\/2010\/05\/19\/unit-tests-generation-with-pex-using-visual-studio-2010-and-c-4-0\/\" target=\"_blank\">Unit Tests generation with Pex using Visual Studio 2010 and C# 4.0<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>&nbsp;(<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/fernandomachadopiriz.com\/2010\/05\/18\/generacin-de-unit-tests-con-pex-en-visual-studio-2010-y-c-4-0\/\" target=\"_blank\">spanish<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>)<\/li>\n\n\n\n<li><strong>May 7, 2010: <\/strong>Fernando Machado P\u00edriz writes about <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/fernandomachadopirizen.wordpress.com\/2010\/05\/08\/pex-and-contracts-better-together\/\" target=\"_blank\">Pex and Contracts: Better together<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> (also in <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/fernandomachadopiriz.com\/2010\/05\/07\/pex-y-contracts-juntos-son-dinamita\/\" target=\"_blank\">Spanish<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>)<\/li>\n\n\n\n<li><strong>May, 2010: <\/strong>Programmez.com (french journal)&nbsp;features <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/www.programmez.com\/minimag.php?num_magazine=130\" target=\"_blank\">a 2 page article on Pex <span class=\"sr-only\"> (opens in new tab)<\/span><\/a>(in French)<\/li>\n\n\n\n<li><strong>May 5, 2010: <\/strong>S\u00f8ren Truds\u00f8 and Kenneth Egholm did a&nbsp;<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/trudsoe.dk\/r04.pdf\" target=\"_blank\">comparison of Pex and black-box testing<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> (PDF)<\/li>\n\n\n\n<li><strong>April 29, 2010: <\/strong>Thomas Weller shows how to use <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/geekswithblogs.net\/thomasweller\/archive\/2010\/04\/28\/mocking-the-unmockable-using-microsoft-moles-with-gallio.aspx\" target=\"_blank\">Moles with Gallio<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>April 23, 2010:<\/strong>&nbsp;Mathias Brandewinder shares <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/www.clear-lines.com\/blog\/post\/The-Joy-of-Pex.aspx\" target=\"_blank\">the Joy of Pex<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> (with slides)<\/li>\n\n\n\n<li><strong>April 19, 2010:&nbsp;<\/strong>Rickard Nilsson <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/rickardnilsson.net\/post\/2010\/04\/19\/Isolate-your-code-from-ASPNET-with-Moles-Isolation-Framework.aspx\" target=\"_blank\">isolates from Asp.NET with Moles<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>April 14, 2010:<\/strong> Stephen Schaff is &#8220;<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/www.dimecasts.net\/Casts\/CastDetails\/170\" target=\"_blank\">mocking the Un-Mockable&#8221;<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> (screencast)<\/li>\n\n\n\n<li><strong>April 12, 2010: <\/strong>Joydip Kanjilal on <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/www.drdobbs.com\/visualstudio\/224201591\" target=\"_blank\">Working with Microsoft PEX Framework<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>&nbsp;in Dr Dobbs<\/li>\n\n\n\n<li><strong>April 10, 2010: <\/strong>Peter Himschoot on <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/blogs.u2u.be\/peter\/post\/2010\/04\/10\/Pex-and-Code-Contracts.aspx\" target=\"_blank\">Pex and Code Contracts<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>April 8, 2010: <\/strong>Nick Walker is&nbsp;<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/iworkonsoftware.blogspot.com\/search\/label\/moles\" target=\"_blank\">looking at moles<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>&nbsp;(several posts)<\/li>\n\n\n\n<li><strong>April 1, 2010: <\/strong>Didier Caron uses Moles and Pex to <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/dgcaron.wordpress.com\/2010\/04\/01\/molesandpex\/\" target=\"_blank\">test a Twitter connector<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>.<\/li>\n\n\n\n<li><strong>March 29, 2010: <\/strong><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/www.themossshow.com\/2010\/03\/automated-sharepoint-unit-testing-with-the-microsoft-research-pex-team\/\" target=\"_blank\">The Moss Show interview<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> on Pex and Moles for SharePoint<\/li>\n\n\n\n<li><strong>March 27, 2010: <\/strong>Bnaya Eshet gives <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/blogs.microsoft.co.il\/blogs\/bnaya\/archive\/2010\/03\/27\/pex-test-input-generator.aspx\" target=\"_blank\">a walktrough of Pex<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>March 26, 2010: <\/strong>Microsoft DPE Spain releases <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/blogs.msdn.com\/cesardelatorre\/archive\/2010\/03\/26\/our-brand-new-ddd-n-layer-net-4-0-architecture-guide-book-and-sample-app-in-codeplex.aspx\" target=\"_blank\">a DDD N-Layer Architecture project<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> that uses Pex and Moles for unit testing<\/li>\n\n\n\n<li><strong>March 26, 2010: <\/strong>Bnaya Eshet walks uses Moles to test logic depending on time<\/li>\n\n\n\n<li><strong>March 11, 2010: <\/strong>Martin Rue <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/www.invalidcast.com\/post\/Moles-Dig-It.aspx\" target=\"_blank\">digs code with Moles<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>March 10, 2010: <\/strong>Kiran Lakhotia publishes an <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/pexarithmeticsolver.codeplex.com\/\" target=\"_blank\">extension of Pex on CodePlex<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> enabling better constraint solving of floating point constraints<\/li>\n\n\n\n<li><strong>March 8, 2010: <\/strong>Kristofer Liljeblad <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/blogs.msdn.com\/kristol\/archive\/2010\/03\/07\/unit-testing-with-microsoft-moles.aspx\" target=\"_blank\">uses Moles to test a web service<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>March 1, 2010: <\/strong>Tim Mahy uses Moles to<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/blogs.infosupport.com\/blogs\/timm\/archive\/2010\/03\/01\/stubs-amp-mocks-meet-there-new-friends-the-moles.aspx\" target=\"_blank\"> isolate from the System.IO dependencies<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>February 20, 2010: <\/strong>Brett Daniel, Tihomir Gvero, Darko Marinov <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/mir.cs.illinois.edu\/reassert\/pubs\/symreassert.pdf\" target=\"_blank\">On Test Repair using Symbolic Execution<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>, using Pex for their research experiments<\/li>\n\n\n\n<li><strong>February 17, 2010: <\/strong>Jason Bock unveils the <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/www.jasonbock.net\/JB\/Default.aspx?blog=entry.69eaf220ecd84f0196e48f1043068259\" target=\"_blank\">AutoPex <span class=\"sr-only\"> (opens in new tab)<\/span><\/a>project on <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/autopex.codeplex.com\/\" target=\"_blank\">CodePlex<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>.<\/li>\n\n\n\n<li><strong>February 8, 2010: <\/strong>Pex is demoed at the plenary session in <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/blogs.technet.com\/mstechdays\/archive\/2010\/02\/09\/techdays-2010-revivez-la-conf-rence-pl-ni-re-du-premier-jour.aspx\" target=\"_blank\">TechDays Paris!<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>February 2, 2010: <\/strong><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/blog.ceredir.com\/\" target=\"_blank\">Dave Bending<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> gives an <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/blog.ceredir.com\/index.php\/2010\/02\/02\/pex-some-early-thoughts\/\" target=\"_blank\">overview of Pex<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>February 1, 2010: <\/strong><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/www.leastprivilege.com\/\" target=\"_blank\">Dominick Baier <span class=\"sr-only\"> (opens in new tab)<\/span><\/a>uses <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/www.leastprivilege.com\/TestingSecurityCodeWithMoles.aspx\" target=\"_blank\">Moles to test security code<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>January 27, 2010: <\/strong>Rafael Flores talks about <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/www.cesnavarra.net\/cesdigitalblog\/Lists\/Entradas%20de%20blog\/Post.aspx?ID=31\" target=\"_blank\">TDD and Pex <span class=\"sr-only\"> (opens in new tab)<\/span><\/a>(in Spanish)<\/li>\n\n\n\n<li><strong>January 21, 2010: <\/strong><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" target=\"_blank\" href=\"http:\/\/angler.wordpress.com\/\">Martin W. Angler<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> applies <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/angler.wordpress.com\/2010\/01\/21\/pex-and-moles-untestable-code-not-really\/\" target=\"_blank\">Pex and Moles to untestable code<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>January 15, 2010: <\/strong><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/angler.wordpress.com\/\" target=\"_blank\">Martin W. Angler<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> has detailled post on&nbsp;<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/angler.wordpress.com\/2010\/01\/15\/first-steps-with-pex-automated-white-box-testing-for-net\/\" target=\"_blank\">First steps with Pex<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>January 5, 2010: <\/strong><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/naveensrinivasan.spaces.live.com\/blog\/\" target=\"_blank\">Naveen<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> explores <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/naveensrinivasan.spaces.live.com\/blog\/cns!BF1A57D105900944!235.entry\" target=\"_blank\">Code Contracts, Pex and F#<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> together<\/li>\n\n\n\n<li><strong>December 17, 2009:<\/strong> Code Contracts &#8216;et&#8217; Pex in french on <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/channel9.msdn.com\/posts\/Peli\/Code-Contracts-et-Pex-pour-NET\/\" target=\"_blank\">Channel9<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>December 15, 2009: <\/strong>Interview with Jeffrey Van Gogh on how the <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/channel9.msdn.com\/posts\/Peli\/Testing-Rx-with-Pex\/\" target=\"_blank\">Reactive Extensions use Pex for testing<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>.<\/li>\n\n\n\n<li><strong>December 7, 2009:<\/strong>&nbsp;Jo\u00e3o Angelo on&nbsp;<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/exceptionalcode.wordpress.com\/2009\/12\/08\/unit-testing-with-nunit-and-moles\/\" target=\"_blank\">Unit Testing With NUnit and Moles<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>December, 2009: <\/strong><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/blogs.msdn.com\/erudition\/\" target=\"_blank\">Nikhil Sachdeva<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> published an MSDN article on <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/msdn.microsoft.com\/en-us\/magazine\/ee819140.aspx\" target=\"_blank\">Automated Unit Tests for Legacy Code with Pex<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>December 1, 2009: <\/strong><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/geekswithblogs.net\/iupdateable\/Default.aspx\" target=\"_blank\">Eric Nelson<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> publishes <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/channel9.msdn.com\/posts\/Eric+Nelson\/MSDN-Flash-Podcast-012--Pex-automated-testing-at-TechEd-Europe\/#Page=1\" target=\"_blank\">a podcast recorded at TechEd Europe<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>November 18, 2009: <\/strong>Sasha Goldshtein writes on <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/dotnet.dzone.com\/news\/pdc-2009-day-1-code-contracts\" target=\"_blank\">PDC 2009 Day 1: Code Contracts and Pex: Power Charge Your Assertions and Unit Tests<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>November 12, 2009: <\/strong>Abdulla AbdelHaq talks to the Jordan .NET User Group: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/weblogs.asp.net\/abdullaabdelhaq\/archive\/2009\/11\/12\/pex-let-mix-your-code-jordev-user-group.aspx\" target=\"_blank\">PEX &#8211; Let me fix your code for you<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> (in Arabic).<\/li>\n\n\n\n<li><strong>November 11, 2009:<\/strong> Eric Nelson: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" target=\"_blank\" href=\"http:\/\/geekswithblogs.net\/iupdateable\/archive\/2009\/11\/11\/did-you-know-microsoft-makes-a-mocking-tool-meet-the.aspx\">Did you know Microsoft makes a mocking tool?<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> And <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" target=\"_blank\" href=\"http:\/\/geekswithblogs.net\/iupdateable\/archive\/2009\/11\/13\/teched-europe-2009-highlights-and-lowlights.aspx\">TechEd Europe 2009 Highlights and Lowlights<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>.<\/li>\n\n\n\n<li><strong>October 19, 2009: <\/strong>Yauhen Safrankou shows how to build a <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/tech.rofas.net\/post\/how-to-control-pex-test-naming-logic.aspx\" target=\"_blank\">custom test naming convention<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>.<\/li>\n\n\n\n<li><strong>October 12, 2009: <\/strong>Nikolai Tillmann&nbsp;and Peli de Halleux demoed Pex on <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/www.dnrtv.com\/default.aspx?showNum=153\" target=\"_blank\">DNR! TV<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>.<\/li>\n\n\n\n<li><strong>October 11, 2009:<\/strong> Yauhen Safrankou talks about&nbsp;<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/tech.rofas.net\/post\/generation-of-stubs-assemblies-with-msbuild.aspx\" target=\"_blank\">generating Stubs through MSBuild<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>October 4, 2009: <\/strong>Andrew Kazyrevich <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/codevanced.net\/post\/Mocking-frameworks-comparison.aspx\" target=\"_blank\">compares the mock frameworks for .NET<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>, including Moles.<\/li>\n\n\n\n<li><strong>October 1, 2009: <\/strong>Jason Bock publishes his <em><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/www.jasonbock.net\/JB\/Default.aspx?blog=entry.cb7d9fc7549a40d88db70fcac1e35015\" target=\"_blank\">What Will Pex do? materials<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/em>.<\/li>\n\n\n\n<li><strong>September 22, 2009:<\/strong> InfoQ writes <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/www.infoq.com\/cn\/news\/2009\/09\/pex-stubs-moles\" target=\"_blank\">Microsoft releases a new version of Pex, providing better support to testing<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>&nbsp;(in simplified Chinese)<\/li>\n\n\n\n<li><strong>August 26, 2009: <\/strong>Steve Andrews has a &#8220;<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/www.platinumbay.com\/blogs\/dotneticated\/archive\/2009\/08\/26\/pop-quiz-net-integers-unit-testing-and-boundary-checking.aspx\" target=\"_blank\">Pop Quiz: .NET Integers, Unit Testing, and Boundary Checking<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>&#8220;<\/li>\n\n\n\n<li><strong>August 11, 2009: <\/strong>Marvin Steppat announces that &#8220;<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" target=\"_blank\" href=\"http:\/\/blog.codekicker.de\/post\/2009\/08\/11\/codekicker-BBCode-Parser-CSharp-VB-NET-ist-open-source.aspx\">codekicker.BBCode ist open source<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>&#8221; (in German), a library tested with Pex and in production use at the German developer community site <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/codekicker.de\/\" target=\"_blank\">codekicker.de<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><b>August 10, 2009:<\/b> Alkampfer tells a tale of <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/www.nablasoft.com\/alkampfer\/index.php\/2009\/08\/10\/using-pex-in-more-complex-environment-a-tale-of\/\" target=\"_blank\">&#8220;Using Pex in more complex environment&#8221;<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>July 6, 2009:<\/strong>&nbsp;Andrew Kazyrevich&nbsp;on <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/codevanced.net\/post\/Introduction-to-Pex-Stubs.aspx\" target=\"_blank\">&#8220;Introduction to Pex Stubs&#8221;<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>June 16, 2009:<\/strong> Alkampfer on <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/www.nablasoft.com\/alkampfer\/index.php\/2009\/06\/16\/pex-to-the-rescue\/\" target=\"_blank\">&#8220;Pex to the rescue&#8221;<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>June 4\/8, 2009: <\/strong>Unai Zorrilla gives Channel9 movies&nbsp;on&nbsp;<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/channel9.msdn.com\/posts\/Daniel+Garzon\/Introduccion-a-PEX\/\" target=\"_blank\">&#8220;Introduccion a Pex&#8221;<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> and&nbsp;<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/channel9.msdn.com\/posts\/Daniel+Garzon\/Introduccion-a-Stubs\/\" target=\"_blank\">&#8220;Introduccion a Stubs&#8221;<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> (in Spanish &#8211; courtesy of <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/channel9.msdn.com\/posts\/Daniel+Garzon\/\" target=\"_blank\">Daniel Garzon<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>)<\/li>\n\n\n\n<li><strong>June 1, 2009:<\/strong> Barton Friedland on <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/www.netspheres.net\/blogs\/tabid\/52\/EntryID\/70\/Default.aspx\" target=\"_blank\">&#8220;Software I am excited about&#8221;<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>June, 2009: <\/strong>Thomas Reinwart writes on &#8220;<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/pcnews.at\/_pdf\/n1140023.pdf\" target=\"_blank\">Pex &#8211; automatisches white box testen mit .net<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>&#8221; in the Austrian <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/pcnews.at\/\" target=\"_blank\">PCNews<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> (in German)<\/li>\n\n\n\n<li><strong>May 26, 2009:<\/strong> John Smith&nbsp;<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/geekswithblogs.net\/onefloridacoder\/archive\/2009\/05\/09\/flex-your-pex.aspx\" target=\"_blank\">Flex Your Pex!<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> series (Part <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/geekswithblogs.net\/onefloridacoder\/archive\/2009\/05\/16\/flex-your-pex-part-1.aspx\" target=\"_blank\">1<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>, <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/geekswithblogs.net\/onefloridacoder\/archive\/2009\/05\/19\/flex-your-pex-part-2.aspx\" target=\"_blank\">2<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>, <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/geekswithblogs.net\/onefloridacoder\/archive\/2009\/05\/20\/flex-your-pex-part-3.aspx\" target=\"_blank\">3<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>, <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/geekswithblogs.net\/onefloridacoder\/archive\/2009\/05\/26\/flex-your-pex-part-4.aspx\" target=\"_blank\">4<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>)<\/li>\n\n\n\n<li><strong>May 10, 2009:<\/strong> Damic Dobric presentation on <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/developers.de\/blogs\/damir_dobric\/archive\/2009\/05\/10\/contract-based-programming-amp-programm-exploration.aspx\" target=\"_blank\">Contracts and Pex<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>May 2, 2009:<\/strong> Jamie Philips <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/devblog.petrellyn.com\/?tag=pex\" target=\"_blank\">walks through <span class=\"sr-only\"> (opens in new tab)<\/span><\/a>using Pex, Stubs and DI<\/li>\n\n\n\n<li><strong>April 26, 2009: <\/strong>Andrew Kazyrevich&nbsp;<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/codevanced.net\/post\/The-Shark-Fin-Pex.aspx\" target=\"_blank\">compares the performance of Stubs <span class=\"sr-only\"> (opens in new tab)<\/span><\/a>with other mock frameworks<\/li>\n\n\n\n<li><strong>April 16, 2009:<\/strong>&nbsp;Muntedhar Alhakim gives a <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/www.unauthorised-access.com\/2009\/04\/an-introduction-to-pex\/\" target=\"_blank\">short introduction on Pex<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>April 13, 2009: <\/strong>Damir Dobric on <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/developers.de\/blogs\/damir_dobric\/archive\/2009\/04\/13\/using-of-factory-in-pex.aspx\" target=\"_blank\">&#8220;Using of Factory in Pex&#8221;<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>&nbsp;and <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/developers.de\/blogs\/damir_dobric\/archive\/2009\/04\/13\/tracing-pex-condition-paths.aspx\" target=\"_blank\">tracing condition paths<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>February 26, 2009: <\/strong>Mathew Podwysocki&nbsp;<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/weblogs.asp.net\/podwysocki\/archive\/2009\/02\/26\/functional-c-fun-with-folds.aspx\" target=\"_blank\">tests functional folds<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> with Pex<\/li>\n\n\n\n<li><strong>February 14, 2009:<\/strong> Damir Dobric on <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/developers.de\/blogs\/damir_dobric\/archive\/2009\/02\/14\/pex-allowing-of-an-exception.aspx\" target=\"_blank\">allowing exceptions<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>January 16, 2009:<\/strong> Maarten Balliauw on <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/blog.maartenballiauw.be\/post\/2009\/01\/06\/Verifying-code-and-testing-with-Pex.aspx\" target=\"_blank\">&#8220;Verifying and Testing code with Pex&#8221;<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>January 11, 2009:<\/strong> Gary Evans on <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/taumuon-jabuka.blogspot.com\/2009\/01\/theory-driven-development-using_11.html\" target=\"_blank\">&#8220;Theory Driven Development&#8221;<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>January 11, 2009:<\/strong> Willy-Peter Schaub on <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/dotnet.org.za\/willy\/archive\/2009\/01\/11\/pex-a-small-package-of-dynamite.aspx\" target=\"_blank\">&#8220;Pex.. a small package of dynamite&#8221;<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>January 6, 2009: &#8220;<\/strong>Monster Got my .NET&#8221;&nbsp;on <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/monstersgotmy.net\/post\/Pex-and-IoC-A-Struggle-With-Code.aspx\" target=\"_blank\">&#8220;Pex and IoC &#8211; A struggle with code&#8221;<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>, <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/monstersgotmy.net\/post\/Pex-Software-Cracker.aspx\" target=\"_blank\">&#8220;Pex &#8211; Software cracker<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>?&#8221; and&nbsp;<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/monstersgotmy.net\/post\/Pex-saw-it-coming.aspx\" target=\"_blank\">&#8220;Pex saw it coming&#8221;<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>November 22, 2008: <\/strong>Ben Hall speaks on&nbsp;<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/blip.tv\/file\/1710544\" target=\"_blank\">&#8220;Pex the future of unit testing?&#8221;<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> at DDD7<\/li>\n\n\n\n<li><strong>November 20, 2008:<\/strong> Adam Breindel on <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/skipmeamadeus.blogspot.com\/2008\/11\/microsoft-pex-moves-needle-bigtime-on.html\" target=\"_blank\">&#8220;Pex moves the needle big time on Software testing&#8230;&#8221;<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>October 22, 2008:<\/strong> David Lambert on <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/blog.componentoriented.com\/?p=320\" target=\"_blank\">&#8220;Pex: Unit Testing++&#8221;<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>July 2008:<\/strong> Alexander Nowak Pex Chronicles series (Part <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/appdevchronicles.blogspot.com\/2008\/07\/pex-test-case-1.html\" target=\"_blank\">1<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>,<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/appdevchronicles.blogspot.com\/2008\/07\/pex-test-case-2.html\" target=\"_blank\">2<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>,<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/appdevchronicles.blogspot.com\/2008\/07\/pex-test-case-3.html\" target=\"_blank\">3<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>,<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/appdevchronicles.blogspot.com\/2008\/07\/pex-test-case-4.html\" target=\"_blank\">4<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>,<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/appdevchronicles.blogspot.com\/2008\/07\/pex-test-case-5.html\" target=\"_blank\">5<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>,<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/appdevchronicles.blogspot.com\/2008\/07\/pex-test-case-6.html\" target=\"_blank\">6<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>,<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/appdevchronicles.blogspot.com\/2008\/08\/pex-test-case-6-revisted.html\" target=\"_blank\">6 revisited<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>,<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/appdevchronicles.blogspot.com\/2008\/08\/pex-test-case-6-revisitedagain.html\" target=\"_blank\">6 revisited again<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>,<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/appdevchronicles.blogspot.com\/2008\/07\/pex-test-case-7.html\" target=\"_blank\">7<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>)<\/li>\n\n\n\n<li><strong>June 1, 2008:<\/strong> Stanislav Dvoychenko on <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/plainoldstan.blogspot.com\/2008\/05\/why-to-use-pex-sample-1-reason-1.html\" target=\"_blank\">why use Pex<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>February 05,&nbsp;2008:<\/strong> Bil Simser on&nbsp;<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/weblogs.asp.net\/bsimser\/archive\/2008\/02\/05\/pex-a-tool-in-search-of-an-identity.aspx\" target=\"_blank\">&#8220;Pex: A tool in search of identity&#8221;<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><strong>January 1, 2008:<\/strong> <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/www.hanselman.com\/blog\/HanselminutesPodcast93PexWithJonathanPeliDeHalleuxAndNikolaiTillmann.aspx\" target=\"_blank\">Hanselminutes <span class=\"sr-only\"> (opens in new tab)<\/span><\/a>on Pex<\/li>\n<\/ul>\n\n\n\n<p class=\"wp-block-paragraph\"><em>Your post is not in the list? <\/em><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" href=\"http:\/\/social.msdn.microsoft.com\/Forums\/en-US\/pex\/thread\/7e6c26df-ccfb-48a4-878d-b3b01f5ba8d5\" target=\"_blank\"><em>Drop us a link.<\/em><span class=\"sr-only\"> (opens in new tab)<\/span><\/a><span id=\"ab763a6b-e087-4a00-9eb7-1c954af78940\" class=\"ImageBlock fn\"><span id=\"ImageCaptionab763a6b-e087-4a00-9eb7-1c954af78940\" class=\"ImageCaptionCoreCss ImageCaption\">&nbsp;<\/span><\/span><\/p>\n\n\n\n\n\n<figure class=\"wp-block-image size-full\"><img loading=\"lazy\" decoding=\"async\" width=\"200\" height=\"121\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/pex-pexweb.png\" alt=\"Pex web logo\" class=\"wp-image-178079\"\/><\/figure>\n\n\n\n<ul class=\"wp-block-list\">\n<li><strong>Download Visual Studio Enterprise 2015 RC with IntelliTest <\/strong><\/li>\n\n\n\n<li><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" target=\"_blank\" href=\"http:\/\/visualstudiogallery.msdn.microsoft.com\/fb5badda-4ea3-4314-a723-a1975cbdabb4\"><b>Download Code Digger<\/b><span class=\"sr-only\"> (opens in new tab)<\/span><\/a> (for VS2012, VS2013)<\/li>\n\n\n\n<li><strong>Download Pex and\/or Moles<\/strong> (for VS2010)<\/li>\n\n\n\n<li><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/stackoverflow.com\/questions\/tagged\/pex\" type=\"link\" id=\"https:\/\/stackoverflow.com\/questions\/tagged\/pex\" target=\"_blank\" rel=\"noopener noreferrer\"><strong>Ask a question on stackoverflow<\/strong><span class=\"sr-only\"> (opens in new tab)<\/span><\/a> (Tag with &#8220;IntelliTest&#8221;, &#8220;Pex&#8221; or &#8220;Moles&#8221;)<\/li>\n<\/ul>\n\n\n\n\n\n<h2 id=\"member-blogs\" class=\"wp-block-heading\">Member blogs<\/h2>\n\n\n\n<ul class=\"wp-block-list\">\n<li><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" target=\"_blank\" href=\"http:\/\/blogs.msdn.com\/nikolait\">Nikolai Tillmann&#8217;s blog<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n\n\n\n<li><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" target=\"_blank\" href=\"http:\/\/blog.dotnetwiki.org\/\">Peli de Halleux&#8217;s blog<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<\/ul>\n\n\n\n<h2 id=\"associated-groups-and-projects\" class=\"wp-block-heading\">Associated Groups and Projects<\/h2>\n\n\n\n<ul class=\"wp-block-list\">\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/group\/research-in-software-engineering-rise\/\" target=\"_self\">Research in Software Engineering<\/a><\/li>\n\n\n\n<li>Foundations of Software Engineering<\/li>\n\n\n\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/project\/stubs-lightweight-test-stubs-for-net\/\">Stubs<\/a><\/li>\n\n\n\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/project\/moles-isolation-framework-for-net\/\">Moles<\/a><\/li>\n\n\n\n<li>ExtendedReflection<\/li>\n\n\n\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/project\/chess-find-and-reproduce-heisenbugs-in-concurrent-programs\/\">CHESS<\/a><\/li>\n\n\n\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/project\/code-contracts\/\">Contracts<\/a><\/li>\n\n\n\n<li>Z3<\/li>\n\n\n\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/project\/rex-regular-expression-exploration\/\">Rex<\/a><\/li>\n\n\n\n<li>Qex<\/li>\n<\/ul>\n\n\n\n\n\n<div style=\"height:25px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n","protected":false},"excerpt":{"rendered":"<p>Note: The Pex and IntelliTest project has reached its conclusion. These pages are maintained for reference and archival purposes. Pex automatically generates test suites with high code coverage using automated white box analysis. Pex is a Visual Studio add-in for testing .NET Framework applications. Moles supports unit testing by providing isolation by way of detours [&hellip;]<\/p>\n","protected":false},"featured_media":0,"template":"","meta":{"msr-url-field":"","msr-podcast-episode":"","msrModifiedDate":"","msrModifiedDateEnabled":false,"ep_exclude_from_search":false,"_classifai_error":"","footnotes":""},"research-area":[13560],"msr-locale":[268875],"msr-impact-theme":[],"msr-pillar":[],"class_list":["post-169746","msr-project","type-msr-project","status-publish","hentry","msr-research-area-programming-languages-software-engineering","msr-locale-en_us","msr-archive-status-complete"],"msr_project_start":"2007-02-21","related-publications":[156866,238255,238253,161097,159553,159552,158942,157696,157695,157694,157693,157692,157689,157615,152896,155857,155856,155853,155852,155846,155840,155826,154429,153304,153278,153165,153154],"related-downloads":[],"related-videos":[],"related-groups":[],"related-events":[],"related-opportunities":[],"related-posts":[614589],"related-articles":[],"tab-content":[],"related-researchers":[{"type":"user_nicename","display_name":"Peli de Halleux","user_id":32253,"people_section":"Related people","alias":"jhalleux"},{"type":"user_nicename","display_name":"Nikolaj Bj\u00f8rner","user_id":33067,"people_section":"Related people","alias":"nbjorner"}],"msr_research_lab":[199565],"msr_impact_theme":[],"_links":{"self":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-project\/169746","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-project"}],"about":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/types\/msr-project"}],"version-history":[{"count":8,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-project\/169746\/revisions"}],"predecessor-version":[{"id":1178645,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-project\/169746\/revisions\/1178645"}],"wp:attachment":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media?parent=169746"}],"wp:term":[{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=169746"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=169746"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=169746"},{"taxonomy":"msr-pillar","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-pillar?post=169746"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}