 | 2009 |
|---|
| 9 |       | Bongshin Lee,
Lev Nachmanson,
George G. Robertson,
Jonathan M. Carlson,
David Heckerman:
PhyloDet: a scalable visualization tool for mapping multiple traits to large evolutionary trees.
Bioinformatics 25(19): 2611-2612 (2009) |
| 2008 |
|---|
| 8 | | 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 |
| 7 | | Christian Pich,
Lev Nachmanson,
George G. Robertson:
Visual analysis of importance and grouping in software dependency graphs.
SOFTVIS 2008: 29-32 |
| 2007 |
|---|
| 6 | | Lev Nachmanson,
George G. Robertson,
Bongshin Lee:
Drawing Graphs with GLEE.
Graph Drawing 2007: 389-394 |
| 2005 |
|---|
| 5 | | Andreas Blass,
Yuri Gurevich,
Lev Nachmanson,
Margus Veanes:
Play to Test.
FATES 2005: 32-46 |
| 4 | | 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 | | Lev Nachmanson,
Margus Veanes,
Wolfram Schulte,
Nikolai Tillmann,
Wolfgang Grieskamp:
Optimal strategies for testing nondeterministic systems.
ISSTA 2004: 55-64 |
| 2003 |
|---|
| 2 | | Wolfgang Grieskamp,
Lev Nachmanson,
Nikolai Tillmann,
Margus Veanes:
Test Case Generation from AsmL Specifications.
Abstract State Machines 2003: 413 |
| 1 | | 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 |
