N
Nikolai Tillmann
Researcher at Microsoft
Publications - 162
Citations - 7401
Nikolai Tillmann is an academic researcher from Microsoft. The author has contributed to research in topics: Symbolic execution & Unit testing. The author has an hindex of 42, co-authored 161 publications receiving 7103 citations.
Papers
More filters
Book ChapterDOI
Pex: white box test generation for .NET
TL;DR: Pex automatically produces a small test suite with high code coverage for a .NET program by performing a systematic program analysis using dynamic symbolic execution, similar to path-bounded model-checking, to determine test inputs for Parameterized Unit Tests.
Proceedings ArticleDOI
Symbolic execution for software testing in practice: preliminary assessment
Cristian Cadar,Patrice Godefroid,Sarfraz Khurshid,Corina S. Păsăreanu,Koushik Sen,Nikolai Tillmann,Willem Visser +6 more
TL;DR: Symbolic execution is a program analysis technique introduced in the 70s that has received renewed interest in recent years, due to algorithmic advances and increased availability of computational power and constraint solving technology.
Book ChapterDOI
Model-based testing of object-oriented reactive systems with spec explorer
Margus Veanes,Colin Campbell,Wolfgang Grieskamp,Wolfram Schulte,Nikolai Tillmann,Lev Nachmanson +5 more
TL;DR: This chapter provides a comprehensive survey of the concepts of the model-based testing tool and their foundations.
Proceedings ArticleDOI
Parameterized unit tests
Nikolai Tillmann,Wolfram Schulte +1 more
TL;DR: A prototype tool which computes test cases from parameterized unit tests is developed and is reported on its first use testing parts of the .NET base class library.
Proceedings ArticleDOI
Fitness-guided path exploration in dynamic symbolic execution
TL;DR: This work proposes a novel approach called Fitnex, a search strategy that uses state-dependent fitness values (computed through a fitness function) to guide path exploration, and shows that this approach consistently achieves high code coverage faster than existing search strategies.