| 2006 |
|---|
| 6 | EE | Bastian Florentz,
Tilo Mücke:
Unification and Evaluation of Graph Drawing Algorithms for Different Application Domains.
IV 2006: 475-482 |
| 5 | EE | Christopher Robinson-Mallett,
Peter Liggesmeyer,
Tilo Mücke,
Ursula Goltz:
Extended state identification and verification using a model checker.
Information & Software Technology 48(10): 981-992 (2006) |
| 2005 |
|---|
| 4 | EE | Christopher Robinson-Mallett,
Peter Liggesmeyer,
Tilo Mücke,
Ursula Goltz:
Generating optimal distinguishing sequences with a model checker.
A-MOST 2005 |
| 3 | | Tilo Mücke,
Michaela Huhn:
Optimising Test Execution Times in Test Suite Generation.
GI Jahrestagung (2) 2005: 480-485 |
| 2 | EE | Christopher Robinson-Mallett,
Peter Liggesmeyer,
Tilo Mücke,
Ursula Goltz:
Generating optimal distinguishing sequences with a model checker.
ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005) |
| 2004 |
|---|
| 1 | EE | Tilo Mücke,
Michaela Huhn:
Generation of Optimized Testsuites for UML Statecharts with Time.
TestCom 2004: 128-143 |
