Generation of Optimized Testsuites for UML Statecharts with Time. - Tilo Mücke; Michaela Huhn (TestCom, 2004)

Optimising Test Execution Times in Test Suite Generation. - Tilo Mücke; Michaela Huhn (GI Jahrestagung (2), 2005)

Generating optimal distinguishing sequences with a model checker. - Christopher Robinson-Mallett; Peter Liggesmeyer; Tilo Mücke; Ursula Goltz (ACM SIGSOFT Softw. Eng. Notes, 2005)

Minimizing Test Execution Time During Test Generation. - Tilo Mücke; Michaela Huhn (SET, 2006)

Unification and Evaluation of Graph Drawing Algorithms for Different Application Domains. - Bastian Florentz; Tilo Mücke (IV, 2006)

Comparing Heuristics for Model Based Testsuite Generation. - Michaela Huhn; Tilo Mücke (MBEES, 2006)

Extended state identification and verification using a model checker. - Christopher Robinson-Mallett; Peter Liggesmeyer; Tilo Mücke; Ursula Goltz (Inf. Softw. Technol., 2006)