|
|
|
Nikolai Tillmann I am a Research Software Design Engineer in the Foundations of Software Engineering Group. My main area of research is program specification, analysis, testing, and verification. I am leading the Pex project, in which I develop together with Peli de Halleux a framework for runtime verification and automatic test case generation for .NET applications based on parameterized unit testing and dynamic symbolic execution. Previously I worked on AsmL, an executable modeling language that comes with a compiler and a test generation tool, and the Spec Explorer 2004 model-based testing tool. Together with Wolfgang Grieskamp I developed XRT, a concrete/symbolic state exploration engine and software model-checker for .NET code. Spec Explorer 2007 is based on this engine, which is now productized internally by the Protocol Engineering Team at Microsoft to facilitate quality assurance of protocol documentation (link). Before coming to Microsoft Research, I was involved in the development of a school management system in Germany. More links: |
