Search All Publications

Articles in Conference Proceedings

• Jens Grabowski, Thomas Walter
  Towards an Integrated Test Methodology for Advanced Communication Systems, Proceedings of the 16th International Conference and Exposition on Testing Computer Software, 1999
• Ekkart Rudolph, Jens Grabowski, Peter Graubmann
  Towards a Harmonization of UML-Sequence Diagrams and MSC, The next Millenium, 1999
• Jens Grabowski, Beat Koch, Michael Schmitt, Dieter Hogrefe
  SDL and MSC Based Test Generation for Distributed Test Architectures, The next Millenium, 1999
• Stefan Heymer, Jens Grabowski
  Towards the Generation of Distributed Test Cases Using Petri Nets, Proceedings of the Neuntes GI/ITG Fachgespräch über Formale Beschreibungstechniken für verteilte Systeme, 1999
• Beat Koch, Jens Grabowski, Dieter Hogrefe, Michael Schmitt
  Autolink - A Tool for Automatic Test Generation from SDL Specifications, Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques, 1998
• Thomas Walter, Ina Schieferdecker, Jens Grabowski
  Test Architectures for Distributed Systems - State of the Art and Beyond, Proceedings of the IFIP TC6 11th International Workshop on Testing of Communicating Systems (IWTCS’98) , 1998
• Michael Schmitt, Anders Ek, Jens Grabowski, Dieter Hogrefe, Beat Koch
  Autolink - Putting SDL-based test generation into practice, Proceedings of the IFIP TC6 11th International Workshop on Testing of Communicating Systems (IWTCS’98) , 1998
• Jens Grabowski, Thomas Walter
  Visualisation of TTCN test cases by MSCs, Proceedings of the 1st Workshop of the SDL Forum Society on SDL and MSC, 1998
• Rudolf Scheurer, Jens Grabowski, Dieter Hogrefe
  Revised Comparison of an Automatically Generated and a Manually Specified Test Suite for the B-ISDN Protocol SSCOP, Formale Beschreibungstechniken für verteilte Systeme, 1998
• Jens Grabowski, Stefan Heymer
  Formal Methods and Conformance Testing - or - What are we testing anyway?, Formale Beschreibungstechniken für verteilte Systeme, 1998