Moving from Microsoft Research to DevDiv…

I didn’t blog for more than a year, and many interesting things happened during that time! I moved from the Research in Software Engineering team (RiSE) in Microsoft Research to the Tools for Software Engineers (TSE) team in DevDiv to work on a new challenge. Here’s a summary of everything that’s been going on: TouchDevelop…

2

Introducing: Code Digger, an extension for VS2012

Today, the Pex team at Microsoft Research (Nikolai Tillmann and Peli de Halleux) is happy to announce that Code Digger, an extension for Visual Studio 2012, has shipped to the Visual Studio Gallery. After shipping the Moles framework as Fakes in Visual Studio 2012, this is the next step of bringing our research projects to…

7

Moles - Replace any .NET method with a delegate

I just shot a short video giving a short demo of Moles, a new framework that allows replacing any .NET method with a delegate. In the context of unit testing, one can use Moles to isolate from environment dependencies (such as time, file system, database, etc…) even when those dependencies are hard-coded through static method or sealed…

2