Tilo Mücke

According to our database, Tilo Mücke authored at least 7 papers between 2004 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

Extended state identification and verification using a model checker.

Christopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, Ursula Goltz

Inf. Softw. Technol., 2006

Comparing Heuristics for Model Based Testsuite Generation.

Michaela Huhn, Tilo Mücke

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, 2006

Unification and Evaluation of Graph Drawing Algorithms for Different Application Domains.

Bastian Florentz, Tilo Mücke

Proceedings of the 10th International Conference on Information Visualisation, 2006

Minimizing Test Execution Time During Test Generation.

Tilo Mücke, Michaela Huhn

Proceedings of the Software Engineering Techniques: Design for Quality, 2006

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

Optimising Test Execution Times in Test Suite Generation.

Tilo Mücke, Michaela Huhn

Proceedings of the 35. Jahrestagung der Gesellschaft für Informatik, 2005

2004

Generation of Optimized Testsuites for UML Statecharts with Time.

Tilo Mücke, Michaela Huhn

Proceedings of the Testing of Communicating Systems, 16th IFIP International Conerence, 2004