Average article rating: 5.00
Programming Languages
|
MSIL |
21 Nov 2008
Updated: 28 Jan 2009
Rating: 5.00/5
Votes: 19
Popularity: 6.28
Licence: Ms-PL
Views: 126,685
Bookmarked: 121
Downloaded: 602
Pex is a new tool that helps in understanding the behavior of .NET code, debugging issues, and in creating a test suite that covers all corner cases -- fully automatically.
|
Average blogs rating:
No blogs have been submitted.
Average tips rating:
No tips have been posted.
Average reference rating:
No reference articles have been posted.
Average project rating:
No projects have been posted.
Software Developer (Senior)
Microsoft Research
United States
Nikolai Tillmann is a Principal Research Software Design Engineer at Microsoft Research.
His main area of research is program specification, analysis, testing, and verification. He is leading the Pex project (http://research.microsoft.com/Pex), a framework for runtime verification and automatic test case generation for .NET applications based on parameterized unit testing and dynamic symbolic execution.
Previous projects he worked on include AsmL, an executable modeling language, and the Spec Explorer 2004 model-based testing tool. He contributed to 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.
He received his M.S. ("Diplom") in Computer Science from the Technical University of Berlin in 2000.