Nikolai Tillmann's Blog

Nikolai works at Microsoft Research on TouchDevelop, Pex, and Spur

Browse by Tags

Tagged Content List
  • Blog Post: 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...
Page 1 of 1 (1 items)