Nikolai Tillmann - Publications

Microsoft Research Home

About Microsoft Research

Research Areas

People

Worldwide Labs

Collaborative Projects

Publications

Downloads

Conferences and Events

Careers

Visiting Microsoft Research

Press Resources

Nikolai Tillmann's publications:

Path Feasibility Analysis for String-Manipulating Programs [PDF]
Nikolaj Bjørner, Nikolai Tillmann and Andrei Voronkov, Microsoft Research TechReport MSR-TR-2008-153
Fitness-Guided Path Exploration in Dynamic Symbolic Execution [PDF]
Tao Xie, Nikolai Tillmann, Peli de Halleux and Wolfram Schulte, Microsoft Research TechReport MSR-TR-2008-123
Automating Software Testing Using Program Analysis [PDF]
Patrice Godefroid, Peli de Halleux, Michael Levin, Aditya Nori, Sriram K. Rajamani, Wolfram Schulte and Nikolai Tillmann, IEEE Computer Society, IEEE Software, Vol. 25, No. 5, pp 30–37, September/October 2008.
White-box testing of behavioral web service contracts with Pex [link]
Nikolai Tillmann and Jonathan de Halleux, Proc. of TAV-WEB 2008, Workshop on Testing, Analysis and Verification of Web Software, in conjunction with ISSTA 2008.
Satisfiability Modulo Bit-precise Theories for Program Exploration [PDF]
Nikolaj Bjørner, Leonardo de Moura and Nikolai Tillmann, Invited workshop paper, to appear at CFV 2008, Fifth International Workshop on Constraints in Formal Verification.
Using Dynamic Symbolic Execution to Improve Deductive Verification [link]
Dries Vanoverberghe, Nikolaj Bjørner, Jonathan de Halleux, Wolfram Schulte, Nikolai Tillmann, Invited paper, Proc. of SPIN 2008, 15th International SPIN Workshop on Model Checking of Software, LNCS, vol. 5156, pages 9-25, August 2008.
Pex – White Box Test Generation for .NET [link]
Nikolai Tillmann, Jonathan de Halleux, Proc. of TAP 2008, the 2nd International Conference on Tests and Proofs, LNCS, vol. 4966, pages 134-153, April 2008.
Parameterized Unit Testing with Pex (Tutorial) [link]
Jonathan de Halleux, Nikolai Tillmann, Proc. of TAP 2008, the 2nd International Conference on Tests and Proofs, LNCS, vol. 4966, pages 171-181, April 2008.
DySy: Dynamic Symbolic Execution for Invariant Inference
Christoph Csallner, Nikolai Tillmann, Yannis Smaragdakis, Proc. of ICSE 2008, the 30th International Conference on Software Engineering, to appear.
Earlier version as Technical Report MSR-TR-2007-151 [PDF], Microsoft Research, November 2007.
Demand-Driven Compositional Symbolic Execution [link]
Saswat Anand, Patrice Godefroid, Nikolai Tillmann, Proc. of TACAS 2008, Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 4963, pages 367-381, April 2008.
Earlier version as Technical Report MSR-TR-2007-138 [PDF], Microsoft Research, October 2007.

Achieving Both Model and Code Coverage with Automated Gray-Box Testing [link]
Nicolas Kicillof, Wolfgang Grieskamp, Nikolai Tillmann, Victor Braberman, Proc. of A-MOST 2007, the 3rd international workshop on Advances in model-based testing, ACM, pages 1-11, July 2007.

Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution [link]
Nikolai Tillmann, Wolfram Schulte, IEEE Software, vol. 23, no. 4, pages 38-47, July/August 2006.
Earlier version as Technical Report MSR-TR-2005-153 [PDF], Microsoft Research, March 2006.
Discovering Likely Method Specifications. [PDF, link]
Nikolai Tillmann, Feng Chen, Wolfram Schulte, Proc. of ICFEM 2006: Eighth International Conference on Formal Engineering Methods, LNCS, vol. 4260, pages 717-736, November 2006.
Earlier version as Technical Report MSR-TR-2005-146 [PDF], Microsoft Research, March 2006.
Mock-object generation with behavior. [link]
Nikolai Tillmann, Wolfram Schulte, Proc. of ASE 2006: 21st IEEE/ACM International Conference on Automated Software Engineering, IEEE Computer Society, pages 365-368, September 2006.
Action Machines: a Framework for Encoding and Composing Partial Behaviors [link]
Wolfgang Grieskamp, Nicolas Kicillof, Nikolai Tillmann, International Journal of Software Engineering and Knowledge Engineering (IJSEKE), vol. 16, no. 5, pages 705-726, October 2006.
Earlier version as Technical Report MSR-TR-2006-11 [link], Microsoft Research, February 2006.

Parameterized Unit Tests [PDF, link]
Nikolai Tillmann, Wolfram Schulte, Proc. of ESEC/FSE 2005, ACM SIGSOFT Software Engineering Notes, vol. 30, issue 5, pages 241-244, September 2005.
Earlier version as Technical Report MSR-TR-2005-64, [PDF], Microsoft Research, May 2005.
Modeling and Testing Hierarchical GUIs [PS]
Ana C. R. Paiva, Nikolai Tillmann, João C. P. Faria, Raul F. A. M. Vidal, Proc. of ASM 2005: 12th International Workshop on Abstract State Machines, March 2005.
A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing [link]
Ana C. R. Paiva, João C. P. Faria, Nikolai Tillmann, Raul F. A. M. Vidal, Proc. of ICFEM 2005: 7th International Conference on Formal Engineering Methods, LNCS, vol. 3785, pages 450-464, October 2005.
Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation [link]
Wolfgang Grieskamp, Nikolai Tillmann, Colin Campbell, Wolfram Schulte, Margus Veanes, Proc. of QSIC 2005: Quality Software International Conference, IEEE Computer Society, pages 72-82, September 2005.
XRT - Exploring Runtime for .NET - Architecture and Applications [link]
Wolfgang Grieskamp, Nikolai Tillmann, Wolfram Schulte, Proc. of SoftMC 2005: Workshop on Software Model Checking, July 2005.
Earlier version as Technical Report MSR-TR-2005-63 [PDF], Microsoft Research, May 2005.
Online Testing with Model Programs [PDF, link]
Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Proc. of FSE/ESEC 2005, ACM SIGSOFT Softw. Eng. Notes, vol. 30, no. 5, pages 263-282, September 2005.
Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer [link]
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes, In Formal Methods and Testing, LNCS, vol. 4949, April 2008.
Earlier version as Technical Report MSR-TR 2005-59 [PDF], Microsoft Research.
Partial Updates. [PDF]
Yuri Gurevich, Nikolai Tillmann, Theoretical Computer Science, vol. 336, issues 2-3, pages 311-342, May 2005.

Instrumenting scenarios in a model-driven development environment [link]
Wolfgang Grieskamp, Nikolai Tillmann, Margus Veanes, Journal of Information and Software Technology, vol. 46, no. 15, pages 1027-1036, 2004.
Optimal Strategies for Testing Non-deterministic Systems [link]
Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes, Proc. of International Symposium on Software Testing and Analysis (ISSTA 2004), ACM, pages 55-64, July 2004.

Model-Based Testing with AsmL.NET [PDF]
Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes, Proc. of European Conference on Model-Driven Software Engineering, December 2003.
Towards a Tool Environment for Model-Based Testing with AsmL [PDF, link]
Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes, Proc. of 3rd International Workshop on Formal Approaches to Testing of Software (FATES 2003), LNCS, vol. 2931, pages 252-266, October 2003.
.NET Contracts: Attaching Specifications to Components
Mike Barnett, Wolfram Schulte, Nikolai Tillmann, "Practical Foundations of Business System Specifications", Kluwer Academic Publishers, 2003. [ISBN 1-4020-1480-5]
Serious Specification for Composing Components [PDF]
Mike Barnett, Wolfgang Grieskamp, Clemens Kerer, Wolfram Schulte, Clemens Szyperski, Nikolai Tillmann, Arthur Watson, Proc. of CBSE 2006, the 6th ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction, May 2003.
Partial Updates Exploration II [PDF]
Yuri Gurevich and Nikolai Tillmann, Proc. of ASM 2003, Abstract State Machines, LNCS, vol. 2589, pages 57-86, March 2003.
Validating Use Cases with the AsmL Test Tool [PDF, link]
Mike Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes, Proc. of QSIC 2003, Third International Conference on Quality Software, IEEE Computer Society, pages 238-246, November, 2003.
Scenario-oriented Modeling in AsmL and its Instrumentation for Testing [PDF]
Mike Barnett, Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Nikolai Tillmann, Margus Veanes, Proc. of SCESM 2003, 2nd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, May 2003.

Partial Updates: Exploration [PDF, link]
Yuri Gurevich, Nikolai Tillmann, Springer Journal of Universal Computer Science, vol. 7, no. 11, pages 918-952, November 2001.
Testable Use Cases in the Abstract State Machine Language [link]
Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte, Nikolai Tillmann, Proc. of APAQS 2001, Asia-Pacific Conference on Quality Software, IEEE Computer Society, pages 167-172, December 2001.

Member of programming committees:

ICST2008 Student Track, MBT2008, MBT2007, MBT2006