| 2008 |
|---|
| 7 | 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 |
| 2007 |
|---|
| 6 | EE | Lev Nachmanson,
George G. Robertson,
Bongshin Lee:
Drawing Graphs with GLEE.
Graph Drawing 2007: 389-394 |
| 2005 |
|---|
| 5 | EE | Andreas Blass,
Yuri Gurevich,
Lev Nachmanson,
Margus Veanes:
Play to Test.
FATES 2005: 32-46 |
| 4 | 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 |
| 2004 |
|---|
| 3 | EE | Lev Nachmanson,
Margus Veanes,
Wolfram Schulte,
Nikolai Tillmann,
Wolfgang Grieskamp:
Optimal strategies for testing nondeterministic systems.
ISSTA 2004: 55-64 |
| 2003 |
|---|
| 2 | EE | Wolfgang Grieskamp,
Lev Nachmanson,
Nikolai Tillmann,
Margus Veanes:
Test Case Generation from AsmL Specifications.
Abstract State Machines 2003: 413 |
| 1 | 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 |
