dnrTV Show #153: White Box Testing with Pex

Summary
Peli de Halleux and Nikolai Tillmann show off Pex, a white-box testing framework for .NET developed at Microsoft Research

Bio
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.