Nikolai Tillmann

	2009
36		Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte: MSeqGen: object-oriented unit-test generation via mining source code. ESEC/SIGSOFT FSE 2009: 193-202
35		Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte: Guided path exploration for regression test generation. ICSE Companion 2009: 311-314
34		Michael Barnett, Manuel Fähndrich, Peli de Halleux, Francesco Logozzo, Nikolai Tillmann: Exploiting the synergy between automated-test-generation and programming-by-contract. ICSE Companion 2009: 401-402
33		Dries Vanoverberghe, Nikolai Tillmann, Frank Piessens: Test Input Generation for Programs with Pointers. TACAS 2009: 277-291
32		Nikolaj Bjørner, Nikolai Tillmann, Andrei Voronkov: Path Feasibility Analysis for String-Manipulating Programs. TACAS 2009: 307-321
	2008
31		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		Christoph Csallner, Nikolai Tillmann, Yannis Smaragdakis: DySy: dynamic symbolic execution for invariant inference. ICSE 2008: 281-290
29		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		Saswat Anand, Patrice Godefroid, Nikolai Tillmann: Demand-Driven Compositional Symbolic Execution. TACAS 2008: 367-381
27		Nikolai Tillmann, Jonathan de Halleux: Pex-White Box Test Generation for .NET. TAP 2008: 134-153
26		Jonathan de Halleux, Nikolai Tillmann: Parameterized Unit Testing with Pex. TAP 2008: 171-181
25		Nikolai Tillmann, Jonathan de Halleux: White-box testing of behavioral web service contracts with Pex. TAV-WEB 2008: 47-48
24		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		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		Nikolai Tillmann, Wolfram Schulte: Mock-object generation with behavior. ASE 2006: 365-368
21		Nikolai Tillmann, Feng Chen, Wolfram Schulte: Discovering Likely Method Specifications. ICFEM 2006: 717-736
20		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		Nikolai Tillmann, Wolfram Schulte: Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution. IEEE Software 23(4): 38-47 (2006)
18		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		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		Nikolai Tillmann, Wolfram Schulte: Parameterized unit tests with unit meister. ESEC/SIGSOFT FSE 2005: 241-244
15		Nikolai Tillmann, Wolfram Schulte: Parameterized unit tests. ESEC/SIGSOFT FSE 2005: 253-262
14		Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann: Online testing with model programs. ESEC/SIGSOFT FSE 2005: 273-282
13		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		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		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		Yuri Gurevich, Nikolai Tillmann: Partial updates. Theor. Comput. Sci. 336(2-3): 311-342 (2005)
	2004
9		Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp: Optimal strategies for testing nondeterministic systems. ISSTA 2004: 55-64
8		Wolfgang Grieskamp, Nikolai Tillmann, Margus Veanes: Instrumenting scenarios in a model-driven development environment. Information & Software Technology 46(15): 1027-1036 (2004)
	2003
7		Michael Barnett, Wolfram Schulte, Nikolai Tillmann: Using AsmL for Runtime Verification. Abstract State Machines 2003: 407
6		Wolfgang Grieskamp, Lev Nachmanson, Nikolai Tillmann, Margus Veanes: Test Case Generation from AsmL Specifications. Abstract State Machines 2003: 413
5		Yuri Gurevich, Nikolai Tillmann: Partial Updates Exploration II. Abstract State Machines 2003: 57-86
4		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		Michael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes: Validating Use-Cases with the AsmL Test Tool. QSIC 2003: 238-246
	2001
2		Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte, Nikolai Tillmann: Testable Use Cases in the Abstract State Machine Language. APAQS 2001: 167-172
1		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] [34]
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	Manuel Fähndrich	[34]
9	João C. P. Faria	[12] [17]
10	Patrice Godefroid	[24] [28]
11	Wolfgang Grieskamp	[2] [3] [4] [6] [8] [9] [11] [13] [18] [20] [23] [31]
12	Yuri Gurevich	[1] [5] [10]
13	Jonathan de Halleux	[24] [25] [26] [27] [29] [35] [36]
14	Peli de Halleux	[34]
15	Nicolas Kicillof	[18] [23]
16	Markus Lepper	[2]
17	Michael Y. Levin	[24]
18	Francesco Logozzo	[34]
19	Lev Nachmanson	[4] [6] [9] [13] [31]
20	Aditya V. Nori	[24]
21	Ana Paiva	[12] [17]
22	Frank Piessens	[33]
23	Sriram K. Rajamani	[24]
24	Wolfram Schulte	[2] [3] [4] [7] [9] [11] [13] [14] [15] [16] [19] [20] [21] [22] [24] [29] [31] [35] [36]
25	Yannis Smaragdakis	[30]
26	Kunal Taneja	[35]
27	Suresh Thummalapenta	[36]
28	Dries Vanoverberghe	[29] [33]
29	Margus Veanes	[3] [4] [6] [8] [9] [11] [13] [14] [31]
30	Raul F. A. M. Vidal	[12] [17]
31	Andrei Voronkov	[32]
32	Tao Xie	[35] [36]

Colors in the list of coauthors