Date: September 16, 2010
Time: 5:00 PM Pacific time
Meeting cancelled due to technical difficulties. My appologies to Nikolai and those who tried to attend.
Pex and Moles - Isolation and White box Unit Testing for .NET
Join us as Nikolai Tillman describes improved tooling to help development team adopt or improve their unit testing practices using Pex and Moles. Pex automatically explores your .NET code, looking for corner cases. Right from the Visual Studio code editor, Pex finds interesting input-output values of your methods, which you can save as a small test suite with high code coverage. Pex bundles with Moles, an isolation framework that allows you to replace any .NET method with a delegate. Pex and Moles are a Visual Studio 2010 Power Tools available at http://research.microsoft.com/pex.
Nikolai Tillmann works at Microsoft Research on combining dynamic and static program analysis techniques. He currently leads the Pex project, a framework for runtime verification and automatic test-case generation for .NET applications based on parameterized unit testing and dynamic symbolic execution. He also works on the Spur project, a tracing Just-In-Time compiler for .NET and JavaScript code. Previously he worked on AsmL, an executable modeling language, and the Spec Explorer 2004 model-based testing tool. He co-developed XRT, a concrete/symbolic state exploration engine and software model-checker for .NET.