Search All Publications

Ph.D. Theses

• Steffen Herbold
  Usage-based Testing of Event-driven Software, 2012
• Akhtar Ali Jalbani
  Quality Assessment and Quality Improvement for UML Models, 2011
• Benjamin Zeiß
  Quality Assurance of Test Specifications for Reactive Systems, 2010
• Wafi Dahman
  A UML Based Methodology for the Development of Web Services, 2010
• Edith Werner
  Learning Finite State Machine Specifications from Test Cases, 2010
• Helmut Neukirchen
  Languages, Tools and Patterns for the Specification of Distributed Real-Time Tests, 2004
• Jens Grabowski
  Test Case Generation and Test Case Specification Based on Message Sequence Charts, 1994