Nikolai-Tillmann | Tags

32 minutes, 44 seconds

Nikolai Tillmann and Peli de Halleux: Inside Code Digger

Going Deep May 07, 2013 at 5:45 AM

16

(5)

Code Digger is a lightweight version of Pex that allows you to explore public .NET methods in Portable Libraries directly from the Visual Studio 2012 code editor. It's a highly simplified and nifty way to leverage the power of Pex and Z3, one of the…

1 hour, 41 minutes, 48 seconds

Code Contracts and Pex: Power Charge Your Assertions and Unit Tests

martinesmann May 28, 2010 at 5:01 AM

2

(2)

By Nikolai Tillmann and Mike BarnettLearn how Code Contracts provides a set of tools for design-by-contract programming and how Pex is an advanced unit-testing tool that uses automated program exploration to intelligently create unit tests with high code coverage. See…

28 minutes, 20 seconds

PEX4FUN WP7: A Mobile Game for Programmers

Mar 16, 2011 at 1:11 PM

2

(2)

PEX4FUN is a Windows Phone 7 game for programmers and even folks who are casually interested in learning how to program - on a mobile phone. This game includes "Intellisense" (automatic code completion as you type), support for C# and VB.NET, many thought-provoking puzzles that…