Nikolai Tillmann, Microsoft Research, USA
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. 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. Spec Explorer 2007 is based on this engine, which is currently productized internally by the Protocol Engineering Team at Microsoft to facilitate quality assurance of protocol documentation. Before coming to Microsoft Research, he was involved in the development of a school management system in Germany. He received his diploma (MS) in computer science from the Technical University of Berlin, Germany.
Pex - Automated Exploratory Testing for .NET
Pex (http://research.microsoft.com/Pex |
