Search All Publications

Technical Reports

• Jens Grabowski, Rudolf Scheurer, Dieter Hogrefe
  Comparison of an Automatically Generated and a Manually Specified Abstract Test Suite for the B-ISDN Protocol SSCOP, 1997
• Jens Grabowski, Rudolf Scheurer, Zhen Ru Dai, Dieter Hogrefe
  Applying SAMSTAG to the B-ISDN Protocol SSCOP - Technical Description and TTCN Testsuite, 1997
• Jens Grabowski, Stefan Heymer, Beat Koch
  Visualisierung von ASN.1-Werten, 1996
• Jens Grabowski
  An Automata based Model for the Implementation of a TTCN Simulator, 1996
• Jens Grabowski
  SDL and MSC Based Test Case Generation - An Overall View of the SAMSTAG Method, 1994
• Jens Grabowski
  The Generation of TTCN Test Cases from MSCs, 1994
• Robert Nahm, Jens Grabowski, Dieter Hogrefe
  Test Case Generation for Temporal Properties, 1993
• Jens Grabowski, Dieter Hogrefe, Robert Nahm, Andreas Spichiger
  Relating Test Purposes to Formal Specifications: Towards a Theoretical Foundation of Practical Testing, 1993
• Jens Grabowski, Rudolf Scheurer, Andreas Spichiger, Stefan Suter
  Zur Anwendbarkeit von TESDL für die automatische Generierung von TTCN Testfällen aus SDL Spezifikationen, 1993
• Jens Grabowski, Dieter Hogrefe, Robert Nahm
  A Method for the Generation of Test Cases Based on SDL and MSCs, 1993