Jonathan 'Peli' de Halleux is actively working on Pex, an Automated Whitebox Testing tool for .NET. Peli also collaborates with his colleagues from CHESS and Contracts. Peli also wanders around building 99 shooting videos for Channel9 about the RiSE group.
	Nikolai Tillmann is project lead for the Pex project at Microsoft Research. His main area of research is program specification, analysis, testing, and verification.

We offer both HTTP and BitTorrent RSS feeds. If you've never used BitTorrent before, we'll make it easy. Click here.
dnrTV is produced with Camtasia Studio screen capture production software. To view the downloaded version you must first download and install the Techsmith Video Codec (160 K)

Links from the Show

Pex - Automated White box Testing for .NET

Pex Forum

This episode sponsored by

Telerik

Building quality software is never easy. It requires skills and imagination. We cannot promise to improve your skills, but when it comes to User Interface and developer tools, we can provide the building blocks to take your application a step closer to your imagination. Explore the leading UI suites for ASP.NET AJAX, Silverlight, Windows Forms and WPF. Enjoy the versatile developer tools like .NET reporting, ORM, Testing, ALM, and Content Management Solution. Visit www.telerik.com.