Supervised Theses

  • Scheider, Daniel: "Integration Strategies", Liggesmeyer, Peter (Supervisor) ; Rombach, H. Dieter (Supervisor) ; Eschbach, Robert (Supervisor); Bauer, Thomas (Supervisor), Kaiserslautern, 2010. (Kaiserslautern, University., Master Thesis, 2010)
  • Fritzler, Eugen: "Visualization of a Graph-based GUI for Sequence-based Specification"; Liggesmeyer, Peter (Supervisor) ; Eschbach, Robert (Supervisor) ; Hussain, Tanvir (Supervisor); Kaiserslautern, 2010. (Kaiserslautern, Techn. Univ., Bachelorarbeit, 2010).
  • Sufian, Abu, "Development of Mutation Operators for Matlab/Simulink/Stateflow Models and their Prototypical Implementation into a Tool", Liggesmeyer, Peter (Supervisor); Eschbach, Robert (Supervisor); Kloos, Johannes (Supervisor); Russo, Barbara (Supervisor):. Kaiserslautern, 2009, Kaiserslautern, Techn. Univ., Masterarbeit, 2009
  • Simo, Lydienne Ngaingne: "Buildup of an FPGA-based test system and evaluation of the capabilities of ATML (Automatic Test Markup Language) for embedded Systems" ; Liggesmeyer, Peter (Supervisor) ; Eschbach, Robert (Supervisor) ; Hussain, Tanvir (Supervisor): Kaiserslautern, 2009. (Kaiserslautern, Techn. Univ., Dipl., 2009).
  • Gieser, Markus: "Prototypical Realization of an Extension for statistical Test Models in Eclipse", Liggesmeyer, Peter (Supervisor) ; Rombach, H. Dieter (Supervisor) ; Eschbach, Robert (Supervisor); Bauer, Thomas (Supervisor), Kaiserslautern, 2008. (Kaiserslautern, University., Bachelor Thesis, 2008)
  • Li, Jiancan: "Visualization of Statistical Figures from Model-based Testing as an Eclipse Prototype"; Liggesmeyer, Peter (Supervisor) ; Rombach, H. Dieter (Supervisor); Eschbach, Robert (Supervisor); Bauer, Thomas (Supervisor); Kaiserslautern, 2008. (Kaiserslautern, University, Bachelor Thesis, 2008).
  • Kloos, Johannes, "Generating test oracles from grammar schemes"; Liggesmeyer, Peter (Supervisor); Eschbach, Robert (Supervisor): Kaiserslautern, 2008 Kaiserslautern, Techn. Univ., Dipl., 2008
  • Schwedler, Wolfgang, "Using Genetic Algorithms in Model Checking"; Eschbach, Robert (Supervisor); Leucker, Martin (Supervisor); Beletski, Taras (Supervisor): Kaiserslautern, 2007, München, Techn. Univ., Dipl., 2007