Tilo Mücke

Publication Activity (10 Years)

Years Active: 2004-2006
Publications (10 Years): 0

Publications

Bastian Florentz, Tilo Mücke
Unification and Evaluation of Graph Drawing Algorithms for Different Application Domains. IV (2006)
Christopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, Ursula Goltz
Extended state identification and verification using a model checker. Inf. Softw. Technol. 48 (10) (2006)
Tilo Mücke, Michaela Huhn
Minimizing Test Execution Time During Test Generation. SET (2006)
Michaela Huhn, Tilo Mücke
Comparing Heuristics for Model Based Testsuite Generation. MBEES (2006)
Tilo Mücke, Michaela Huhn
Optimising Test Execution Times in Test Suite Generation. GI Jahrestagung (2) (2005)
Christopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, Ursula Goltz
Generating optimal distinguishing sequences with a model checker. A-MOST (2005)
Christopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, Ursula Goltz
Generating optimal distinguishing sequences with a model checker. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Tilo Mücke, Michaela Huhn
Generation of Optimized Testsuites for UML Statecharts with Time. TestCom (2004)