BibTeX records: Tilo Mücke

• > Home > Persons > Tilo Mücke

@article{DBLP:journals/infsof/Robinson-MallettLMG06,
  author       = {Christopher Robinson{-}Mallett and
                  Peter Liggesmeyer and
                  Tilo M{\"{u}}cke and
                  Ursula Goltz},
  title        = {Extended state identification and verification using a model checker},
  journal      = {Inf. Softw. Technol.},
  volume       = {48},
  number       = {10},
  pages        = {981--992},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.infsof.2006.03.006},
  doi          = {10.1016/J.INFSOF.2006.03.006},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/infsof/Robinson-MallettLMG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2/MuckeH06,
  author       = {Tilo M{\"{u}}cke and
                  Michaela Huhn},
  editor       = {Krzysztof Sacha},
  title        = {Minimizing Test Execution Time During Test Generation},
  booktitle    = {Software Engineering Techniques: Design for Quality, {SET} 2006, October
                  17-20, 2006, Warsaw, Poland},
  series       = {{IFIP}},
  volume       = {227},
  pages        = {223--235},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-0-387-39388-9\_22},
  doi          = {10.1007/978-0-387-39388-9\_22},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip2/MuckeH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iv/FlorentzM06,
  author       = {Bastian Florentz and
                  Tilo M{\"{u}}cke},
  title        = {Unification and Evaluation of Graph Drawing Algorithms for Different
                  Application Domains},
  booktitle    = {10th International Conference on Information Visualisation, {IV} 2006,
                  5-7 July 2006, London, {UK}},
  pages        = {475--482},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/IV.2006.116},
  doi          = {10.1109/IV.2006.116},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iv/FlorentzM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbees/HuhnM06,
  author       = {Michaela Huhn and
                  Tilo M{\"{u}}cke},
  editor       = {Holger Giese and
                  Bernhard Rumpe and
                  Bernhard Sch{\"{a}}tz},
  title        = {Comparing Heuristics for Model Based Testsuite Generation},
  booktitle    = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter
                  Systeme II, Schloss Dagstuhl, Germany, 9.-13. Januar 2006, Tagungsband
                  Modellbasierte Entwicklung eingebetteter Systeme},
  series       = {Informatik-Bericht},
  volume       = {2006-1},
  pages        = {53--62},
  publisher    = {{TU} Braunschweig, Institut f{\"{u}}r Software Systems Engineering},
  year         = {2006},
  url          = {http://www.sse-tubs.de/publications/GRS\_MBEES\_InfoBericht\_06.pdf},
  timestamp    = {Thu, 12 Mar 2020 11:39:38 +0100},
  biburl       = {https://dblp.org/rec/conf/mbees/HuhnM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sigsoft/Robinson-MallettLMG05,
  author       = {Christopher Robinson{-}Mallett and
                  Peter Liggesmeyer and
                  Tilo M{\"{u}}cke and
                  Ursula Goltz},
  title        = {Generating optimal distinguishing sequences with a model checker},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {30},
  number       = {4},
  pages        = {1--7},
  year         = {2005},
  url          = {https://doi.org/10.1145/1082983.1083283},
  doi          = {10.1145/1082983.1083283},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Robinson-MallettLMG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amost/Robinson-MallettLMG05,
  author       = {Christopher Robinson{-}Mallett and
                  Peter Liggesmeyer and
                  Tilo M{\"{u}}cke and
                  Ursula Goltz},
  title        = {Generating optimal distinguishing sequences with a model checker},
  booktitle    = {Proceedings of the {ICSE} 2005 Workshop on Advances in Model-Based
                  Software Testing, {A-MOST} 2005, St. Louis, Missouri, {USA}},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1083274.1083283},
  doi          = {10.1145/1083274.1083283},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/amost/Robinson-MallettLMG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gi/MuckeH05,
  author       = {Tilo M{\"{u}}cke and
                  Michaela Huhn},
  editor       = {Armin B. Cremers and
                  Rainer Manthey and
                  Peter Martini and
                  Volker Steinhage},
  title        = {Optimising Test Execution Times in Test Suite Generation},
  booktitle    = {35. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik
                  LIVE!, {INFORMATIK} 2005, Bonn, Germany, September 19-22, 2005, Band
                  2},
  series       = {{LNI}},
  volume       = {{P-68}},
  pages        = {480--485},
  publisher    = {{GI}},
  year         = {2005},
  url          = {https://dl.gi.de/handle/20.500.12116/28258},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/MuckeH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/MuckeH04,
  author       = {Tilo M{\"{u}}cke and
                  Michaela Huhn},
  editor       = {Roland Groz and
                  Robert M. Hierons},
  title        = {Generation of Optimized Testsuites for {UML} Statecharts with Time},
  booktitle    = {Testing of Communicating Systems, 16th {IFIP} International Conerence,
                  TestCom 2004, Oxford, UK, March 17-19, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2978},
  pages        = {128--143},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24704-3\_9},
  doi          = {10.1007/978-3-540-24704-3\_9},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/MuckeH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}