dblp.uni-trier.dewww.uni-trier.de

Nikolai Tillmann Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
36EESuresh 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
35EEKunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte: Guided path exploration for regression test generation. ICSE Companion 2009: 311-314
34EEMichael 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
33EEDries Vanoverberghe, Nikolai Tillmann, Frank Piessens: Test Input Generation for Programs with Pointers. TACAS 2009: 277-291
32EENikolaj Bjørner, Nikolai Tillmann, Andrei Voronkov: Path Feasibility Analysis for String-Manipulating Programs. TACAS 2009: 307-321
2008
31EEMargus 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
30EEChristoph Csallner, Nikolai Tillmann, Yannis Smaragdakis: DySy: dynamic symbolic execution for invariant inference. ICSE 2008: 281-290
29EEDries Vanoverberghe, Nikolaj Bjørner, Jonathan de Halleux, Wolfram Schulte, Nikolai Tillmann: Using Dynamic Symbolic Execution to Improve Deductive Verification. SPIN 2008: 9-25
28EESaswat Anand, Patrice Godefroid, Nikolai Tillmann: Demand-Driven Compositional Symbolic Execution. TACAS 2008: 367-381
27EENikolai Tillmann, Jonathan de Halleux: Pex-White Box Test Generation for .NET. TAP 2008: 134-153
26EEJonathan de Halleux, Nikolai Tillmann: Parameterized Unit Testing with Pex. TAP 2008: 171-181
25EENikolai Tillmann, Jonathan de Halleux: White-box testing of behavioral web service contracts with Pex. TAV-WEB 2008: 47-48
24EEPatrice 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
23EENicolas 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
22EENikolai Tillmann, Wolfram Schulte: Mock-object generation with behavior. ASE 2006: 365-368
21EENikolai Tillmann, Feng Chen, Wolfram Schulte: Discovering Likely Method Specifications. ICFEM 2006: 717-736
20EEWolfgang Grieskamp, Nikolai Tillmann, Wolfram Schulte: XRT- Exploring Runtime for .NET Architecture and Applications. Electr. Notes Theor. Comput. Sci. 144(3): 3-26 (2006)
19EENikolai Tillmann, Wolfram Schulte: Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution. IEEE Software 23(4): 38-47 (2006)
18EEWolfgang 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
17EEAna Paiva, Nikolai Tillmann, João C. P. Faria, Raul F. A. M. Vidal: Modeling and Testing Hierarchical GUIs. Abstract State Machines 2005: 329-344
16EENikolai Tillmann, Wolfram Schulte: Parameterized unit tests with unit meister. ESEC/SIGSOFT FSE 2005: 241-244
15EENikolai Tillmann, Wolfram Schulte: Parameterized unit tests. ESEC/SIGSOFT FSE 2005: 253-262
14EEMargus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann: Online testing with model programs. ESEC/SIGSOFT FSE 2005: 273-282
13EEColin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes: Testing Concurrent Object-Oriented Systems with Spec Explorer. FM 2005: 542-547
12EEAna 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
11EEWolfgang 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
10EEYuri Gurevich, Nikolai Tillmann: Partial updates. Theor. Comput. Sci. 336(2-3): 311-342 (2005)
2004
9EELev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp: Optimal strategies for testing nondeterministic systems. ISSTA 2004: 55-64
8EEWolfgang Grieskamp, Nikolai Tillmann, Margus Veanes: Instrumenting scenarios in a model-driven development environment. Information & Software Technology 46(15): 1027-1036 (2004)
2003
7EEMichael Barnett, Wolfram Schulte, Nikolai Tillmann: Using AsmL for Runtime Verification. Abstract State Machines 2003: 407
6EEWolfgang Grieskamp, Lev Nachmanson, Nikolai Tillmann, Margus Veanes: Test Case Generation from AsmL Specifications. Abstract State Machines 2003: 413
5EEYuri Gurevich, Nikolai Tillmann: Partial Updates Exploration II. Abstract State Machines 2003: 57-86
4EEMichael 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
3EEMichael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes: Validating Use-Cases with the AsmL Test Tool. QSIC 2003: 238-246
2001
2EEWolfgang Grieskamp, Markus Lepper, Wolfram Schulte, Nikolai Tillmann: Testable Use Cases in the Abstract State Machine Language. APAQS 2001: 167-172
1EEYuri Gurevich, Nikolai Tillmann: Partial Updates: Exploration. J. UCS 7(11): 917-951 (2001)

Coauthor Index

1Saswat Anand [28]
2Michael Barnett [3] [4] [7] [34]
3Nikolaj Bjørner [29] [32]
4Víctor A. Braberman [23]
5Colin Campbell [11] [13] [14] [31]
6Feng Chen [21]
7Christoph Csallner [30]
8Manuel Fähndrich [34]
9João C. P. Faria [12] [17]
10Patrice Godefroid [24] [28]
11Wolfgang Grieskamp [2] [3] [4] [6] [8] [9] [11] [13] [18] [20] [23] [31]
12Yuri Gurevich [1] [5] [10]
13Jonathan de Halleux [24] [25] [26] [27] [29] [35] [36]
14Peli de Halleux [34]
15Nicolas Kicillof [18] [23]
16Markus Lepper [2]
17Michael Y. Levin [24]
18Francesco Logozzo [34]
19Lev Nachmanson [4] [6] [9] [13] [31]
20Aditya V. Nori [24]
21Ana Paiva [12] [17]
22Frank Piessens [33]
23Sriram K. Rajamani [24]
24Wolfram Schulte [2] [3] [4] [7] [9] [11] [13] [14] [15] [16] [19] [20] [21] [22] [24] [29] [31] [35] [36]
25Yannis Smaragdakis [30]
26Kunal Taneja [35]
27Suresh Thummalapenta [36]
28Dries Vanoverberghe [29] [33]
29Margus Veanes [3] [4] [6] [8] [9] [11] [13] [14] [31]
30Raul F. A. M. Vidal [12] [17]
31Andrei Voronkov [32]
32Tao Xie [35] [36]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)