Search All Publications

Articles in Conference Proceedings

• 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
• 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
• 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
• Anders Ek, Jens Grabowski, Dieter Hogrefe, Richard Jerome, Beat Koch, Michael Schmitt
  Towards the Industrial Use of Validation Techniques and Automatic Test Generation Methods for SDL Specifications, Time for Testing - SDL, MSC and Trends, 1997
• Jens Grabowski, Rudolf Scheurer, Zhen Ru Dai, Dieter Hogrefe
  Applying SAMSTAG to the B-ISDN protocol SSCOP, IFIP TC6 10th International Workshop on Testing of Communicating Systems, 1997
• Thomas Walter, Jens Grabowski
  Real-time TTCN for testing real-time and multimedia systems, IFIP TC6 10th International Workshop on Testing of Communicating Systems, 1997
• Stefan Heymer, Jens Grabowski
  Generating Test Cases for Infinite System Specifications, Proceedings of the 7. GI/ITG Technical Meeting on Formal Description Techniques for Distributed Systems, 1997