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) |