Nikolai Tillmann

2009
33	EE	Dries Vanoverberghe, Nikolai Tillmann, Frank Piessens: Test Input Generation for Programs with Pointers. TACAS 2009: 277-291
32	EE	Nikolaj Bjørner, Nikolai Tillmann, Andrei Voronkov: Path Feasibility Analysis for String-Manipulating Programs. TACAS 2009: 307-321
2008
31	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
30	EE	Christoph Csallner, Nikolai Tillmann, Yannis Smaragdakis: DySy: dynamic symbolic execution for invariant inference. ICSE 2008: 281-290
29	EE	Dries Vanoverberghe, Nikolaj Bjørner, Jonathan de Halleux, Wolfram Schulte, Nikolai Tillmann: Using Dynamic Symbolic Execution to Improve Deductive Verification. SPIN 2008: 9-25
28	EE	Saswat Anand, Patrice Godefroid, Nikolai Tillmann: Demand-Driven Compositional Symbolic Execution. TACAS 2008: 367-381
27	EE	Nikolai Tillmann, Jonathan de Halleux: Pex-White Box Test Generation for .NET. TAP 2008: 134-153
26	EE	Jonathan de Halleux, Nikolai Tillmann: Parameterized Unit Testing with Pex. TAP 2008: 171-181
25	EE	Nikolai Tillmann, Jonathan de Halleux: White-box testing of behavioral web service contracts with Pex. TAV-WEB 2008: 47-48
24	EE	Patrice Godefroid, Jonathan de Halleux, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin: Automating Software Testing Using Program Analysis. IEEE Software 25(5): 30-37 (2008)
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	[28]
2	Michael Barnett	[3] [4] [7]
3	Nikolaj Bjørner	[29] [32]
4	Víctor A. Braberman	[23]
5	Colin Campbell	[11] [13] [14] [31]
6	Feng Chen	[21]
7	Christoph Csallner	[30]
8	João C. P. Faria	[12] [17]
9	Patrice Godefroid	[24] [28]
10	Wolfgang Grieskamp	[2] [3] [4] [6] [8] [9] [11] [13] [18] [20] [23] [31]
11	Yuri Gurevich	[1] [5] [10]
12	Jonathan de Halleux	[24] [25] [26] [27] [29]
13	Nicolas Kicillof	[18] [23]
14	Markus Lepper	[2]
15	Michael Y. Levin	[24]
16	Lev Nachmanson	[4] [6] [9] [13] [31]
17	Aditya V. Nori	[24]
18	Ana Paiva	[12] [17]
19	Frank Piessens	[33]
20	Sriram K. Rajamani	[24]
21	Wolfram Schulte	[2] [3] [4] [7] [9] [11] [13] [14] [15] [16] [19] [20] [21] [22] [24] [29] [31]
22	Yannis Smaragdakis	[30]
23	Dries Vanoverberghe	[29] [33]
24	Margus Veanes	[3] [4] [6] [8] [9] [11] [13] [14] [31]
25	Raul F. A. M. Vidal	[12] [17]
26	Andrei Voronkov	[32]

Colors in the list of coauthors