Nikolai Tillmann

2008
28	EE	Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson: Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer. Formal Methods and Testing 2008: 39-76
27	EE	Christoph Csallner, Nikolai Tillmann, Yannis Smaragdakis: DySy: dynamic symbolic execution for invariant inference. ICSE 2008: 281-290
26	EE	Saswat Anand, Patrice Godefroid, Nikolai Tillmann: Demand-Driven Compositional Symbolic Execution. TACAS 2008: 367-381
25	EE	Nikolai Tillmann, Jonathan de Halleux: Pex-White Box Test Generation for .NET. TAP 2008: 134-153
24	EE	Jonathan de Halleux, Nikolai Tillmann: Parameterized Unit Testing with Pex. TAP 2008: 171-181
2007
23	EE	Nicolas Kicillof, Wolfgang Grieskamp, Nikolai Tillmann, Víctor A. Braberman: Achieving both model and code coverage with automated gray-box testing. A-MOST 2007: 1-11
2006
22	EE	Nikolai Tillmann, Wolfram Schulte: Mock-object generation with behavior. ASE 2006: 365-368
21	EE	Nikolai Tillmann, Feng Chen, Wolfram Schulte: Discovering Likely Method Specifications. ICFEM 2006: 717-736
20	EE	Wolfgang Grieskamp, Nikolai Tillmann, Wolfram Schulte: XRT- Exploring Runtime for .NET Architecture and Applications. Electr. Notes Theor. Comput. Sci. 144(3): 3-26 (2006)
19	EE	Nikolai Tillmann, Wolfram Schulte: Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution. IEEE Software 23(4): 38-47 (2006)
18	EE	Wolfgang Grieskamp, Nicolas Kicillof, Nikolai Tillmann: Action Machines: a Framework for Encoding and Composing Partial Behaviors. International Journal of Software Engineering and Knowledge Engineering 16(5): 705-726 (2006)
2005
17	EE	Ana Paiva, Nikolai Tillmann, João C. P. Faria, Raul F. A. M. Vidal: Modeling and Testing Hierarchical GUIs. Abstract State Machines 2005: 329-344
16	EE	Nikolai Tillmann, Wolfram Schulte: Parameterized unit tests with unit meister. ESEC/SIGSOFT FSE 2005: 241-244
15	EE	Nikolai Tillmann, Wolfram Schulte: Parameterized unit tests. ESEC/SIGSOFT FSE 2005: 253-262
14	EE	Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann: Online testing with model programs. ESEC/SIGSOFT FSE 2005: 273-282
13	EE	Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes: Testing Concurrent Object-Oriented Systems with Spec Explorer. FM 2005: 542-547
12	EE	Ana Paiva, João C. P. Faria, Nikolai Tillmann, Raul F. A. M. Vidal: A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing. ICFEM 2005: 450-464
11	EE	Wolfgang Grieskamp, Nikolai Tillmann, Colin Campbell, Wolfram Schulte, Margus Veanes: Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation. QSIC 2005: 72-82
10	EE	Yuri Gurevich, Nikolai Tillmann: Partial updates. Theor. Comput. Sci. 336(2-3): 311-342 (2005)
2004
9	EE	Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp: Optimal strategies for testing nondeterministic systems. ISSTA 2004: 55-64
8	EE	Wolfgang Grieskamp, Nikolai Tillmann, Margus Veanes: Instrumenting scenarios in a model-driven development environment. Information & Software Technology 46(15): 1027-1036 (2004)
2003
7	EE	Michael Barnett, Wolfram Schulte, Nikolai Tillmann: Using AsmL for Runtime Verification. Abstract State Machines 2003: 407
6	EE	Wolfgang Grieskamp, Lev Nachmanson, Nikolai Tillmann, Margus Veanes: Test Case Generation from AsmL Specifications. Abstract State Machines 2003: 413
5	EE	Yuri Gurevich, Nikolai Tillmann: Partial Updates Exploration II. Abstract State Machines 2003: 57-86
4	EE	Michael Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes: Towards a Tool Environment for Model-Based Testing with AsmL. FATES 2003: 252-266
3	EE	Michael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes: Validating Use-Cases with the AsmL Test Tool. QSIC 2003: 238-246
2001
2	EE	Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte, Nikolai Tillmann: Testable Use Cases in the Abstract State Machine Language. APAQS 2001: 167-172
1	EE	Yuri Gurevich, Nikolai Tillmann: Partial Updates: Exploration. J. UCS 7(11): 917-951 (2001)

Coauthor Index

1	Saswat Anand	[26]
2	Michael Barnett	[3] [4] [7]
3	Víctor A. Braberman	[23]
4	Colin Campbell	[11] [13] [14] [28]
5	Feng Chen	[21]
6	Christoph Csallner	[27]
7	João C. P. Faria	[12] [17]
8	Patrice Godefroid	[26]
9	Wolfgang Grieskamp	[2] [3] [4] [6] [8] [9] [11] [13] [18] [20] [23] [28]
10	Yuri Gurevich	[1] [5] [10]
11	Jonathan de Halleux	[24] [25]
12	Nicolas Kicillof	[18] [23]
13	Markus Lepper	[2]
14	Lev Nachmanson	[4] [6] [9] [13] [28]
15	Ana Paiva	[12] [17]
16	Wolfram Schulte	[2] [3] [4] [7] [9] [11] [13] [14] [15] [16] [19] [20] [21] [22] [28]
17	Yannis Smaragdakis	[27]
18	Margus Veanes	[3] [4] [6] [8] [9] [11] [13] [14] [28]
19	Raul F. A. M. Vidal	[12] [17]

Colors in the list of coauthors