Nikolai Tillmann's Blog
Nikolai works at Microsoft Research on TouchDevelop, Pex, and Spur
Translate This Page
Translate this page
High Score List
Pex for fun
WIndows Live ID
Browse by Tags
Nikolai Tillmann's Blog
Tagged Content List
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...
15 Apr 2015
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...
23 Apr 2013
pexforfun.com: IntelliSense, High Score List, Publishing, Dynamic Ranking, Live Feed
Today, the Pex team is thrilled to announce a great makeover for pexforfun.com , adding several new features: IntelliSense That’s right, when you hit the ‘.’ after a name in the code editor, you get code completion, in your browser. Just as in Visual Studio! Well, almost...
14 Sep 2010
Sign in on pexforfun.com, start earning medals
Using Windows Live™ ID, you can now sign in to pexforfun.com and get a personalized experience. After signing in, the Pex for fun website will track how many Coding Duels you tried to win, eventually won, and which ones you created yourself. Pex for fun also remembers the last program text you...
30 Aug 2010
Today, the Pex team is thrilled to announce www.pexforfun.com , a web site that brings code to life. It analyzes small code snippets, and produces a table of interesting input and output values, often uncovering surprising corner cases. The code can be written in C#, Visual Basic, or F#. You do not need...
26 Jun 2010
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...
30 Jan 2010
How do you use Pex in Visual Studio? Your Input Is Needed!
Since it’s been almost a year that we’ve released Pex , we have started a little survey on our forums . We are looking for feedback on how you use Pex and how you would like to use it. If you are interested, please voice yourself on our mini survey at http://social.msdn.microsoft.com/Forums/en...
9 Sep 2009
Page 1 of 1 (7 items)
© 2015 Microsoft Corporation.
Privacy & Cookies