{"id":169746,"date":"2007-02-21T17:06:41","date_gmt":"2007-02-21T17:06:41","guid":{"rendered":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/project\/pex-and-moles-isolation-and-white-box-unit-testing-for-net\/"},"modified":"2026-08-09T12:28:15","modified_gmt":"2026-08-09T19:28:15","slug":"pex-and-moles-isolation-and-white-box-unit-testing-for-net","status":"publish","type":"msr-project","link":"https:\/\/cm-edgetun.pages.dev\/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&nbsp;2012 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:\/\/cm-edgetun.pages.dev\/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:\/\/cm-edgetun.pages.dev\/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&nbsp;2012 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.&nbsp;The 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:\/\/cm-edgetun.pages.dev\/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 www.pexforfun.com, 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:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-content\/uploads\/2016\/02\/pex-pexforfun.png\" alt=\"Pex for fun screenshot\" class=\"wp-image-178166\" srcset=\"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-content\/uploads\/2016\/02\/pex-pexforfun.png 536w, https:\/\/cm-edgetun.pages.dev\/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=\"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>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>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>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> Flexing Pex on the SD Times<\/li>\n\n\n\n<li><strong>July 15, 2010: <\/strong>A BinaryThought on Pex Power Tools<\/li>\n\n\n\n<li><strong>May 18, 2010: <\/strong>Assaf Stone on TDD: It Doesn\u2019t Have to Be So Difficult using Pex and Moles (+ slides and demo code)<\/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><\/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><\/li>\n\n\n\n<li><strong>May, 2010: <\/strong>Programmez.com (french journal)\u00a0features a 2 page article on Pex (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>\u00a0Mathias Brandewinder shares the Joy of Pex (with slides)<\/li>\n\n\n\n<li><strong>April 19, 2010:\u00a0<\/strong>Rickard Nilsson <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/www.rickardnilsson.net\/post\/2010\/04\/19\/Isolate-your-code-from-ASPNET-with-Moles-Isolation-Framework.html\" target=\"_blank\" rel=\"noopener noreferrer\">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;mocking the Un-Mockable&#8221; (screencast)<\/li>\n\n\n\n<li><strong>April 12, 2010: <\/strong>Joydip Kanjilal on Working with Microsoft PEX Framework\u00a0in 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 walktrough of Pex<\/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 extension of Pex on CodePlex 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 Moles to test security code<\/li>\n\n\n\n<li><strong>January 27, 2010: <\/strong>Rafael Flores talks about TDD and Pex (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>Naveen explores Code Contracts, Pex and F# together<\/li>\n\n\n\n<li><strong>December 17, 2009:<\/strong> Code Contracts &#8216;et&#8217; Pex in french on Channel9<\/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 custom test naming convention.<\/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\u00a0generating Stubs through MSBuild<\/li>\n\n\n\n<li><strong>October 4, 2009: <\/strong>Andrew Kazyrevich compares the mock frameworks for .NET, including Moles.<\/li>\n\n\n\n<li><strong>October 1, 2009: <\/strong>Jason Bock publishes his <em>What Will Pex do? materials<\/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;Pop Quiz: .NET Integers, Unit Testing, and Boundary Checking&#8221;<\/li>\n\n\n\n<li><strong>August 11, 2009: <\/strong>Marvin Steppat announces that &#8220;codekicker.BBCode ist open source&#8221; (in German), a library tested with Pex and in production use at the German developer community site codekicker.de<\/li>\n\n\n\n<li><b>August 10, 2009:<\/b> Alkampfer tells a tale of &#8220;Using Pex in more complex environment&#8221;<\/li>\n\n\n\n<li><strong>July 6, 2009:<\/strong>\u00a0Andrew Kazyrevich\u00a0on &#8220;Introduction to Pex Stubs&#8221;<\/li>\n\n\n\n<li><strong>June 16, 2009:<\/strong> Alkampfer on &#8220;Pex to the rescue&#8221;<\/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 &#8220;Software I am excited about&#8221;<\/li>\n\n\n\n<li><strong>June, 2009: <\/strong>Thomas Reinwart writes on &#8220;Pex &#8211; automatisches white box testen mit .net&#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 walks through using Pex, Stubs and DI<\/li>\n\n\n\n<li><strong>April 26, 2009: <\/strong>Andrew Kazyrevich\u00a0compares the performance of Stubs with other mock frameworks<\/li>\n\n\n\n<li><strong>April 16, 2009:<\/strong>\u00a0Muntedhar Alhakim gives a short introduction on Pex<\/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\u00a0tests functional folds 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 &#8220;Verifying and Testing code with Pex&#8221;<\/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;\u00a0on &#8220;Pex and IoC &#8211; A struggle with code&#8221;, &#8220;Pex &#8211; Software cracker?&#8221; and\u00a0&#8220;Pex saw it coming&#8221;<\/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,\u00a02008:<\/strong> Bil Simser on\u00a0&#8220;Pex: A tool in search of identity&#8221;<\/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:\/\/cm-edgetun.pages.dev\/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><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:\/\/cm-edgetun.pages.dev\/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:\/\/cm-edgetun.pages.dev\/en-us\/research\/project\/stubs-lightweight-test-stubs-for-net\/\">Stubs<\/a><\/li>\n\n\n\n<li><a href=\"https:\/\/cm-edgetun.pages.dev\/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:\/\/cm-edgetun.pages.dev\/en-us\/research\/project\/chess-find-and-reproduce-heisenbugs-in-concurrent-programs\/\">CHESS<\/a><\/li>\n\n\n\n<li><a href=\"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/project\/code-contracts\/\">Contracts<\/a><\/li>\n\n\n\n<li>Z3<\/li>\n\n\n\n<li><a href=\"https:\/\/cm-edgetun.pages.dev\/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:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-project\/169746","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-project"}],"about":[{"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/types\/msr-project"}],"version-history":[{"count":9,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-project\/169746\/revisions"}],"predecessor-version":[{"id":1181176,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-project\/169746\/revisions\/1181176"}],"wp:attachment":[{"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/media?parent=169746"}],"wp:term":[{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=169746"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=169746"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=169746"},{"taxonomy":"msr-pillar","embeddable":true,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-pillar?post=169746"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}