Search All Publications
Technical Reports
-
Jens Grabowski, Stefan Heymer, Beat KochVisualisierung von ASN.1-Werten, 1996
- An Automata based Model for the Implementation of a TTCN Simulator, 1996
- SDL and MSC Based Test Case Generation - An Overall View of the SAMSTAG Method, 1994
- The Generation of TTCN Test Cases from MSCs, 1994
-
Robert Nahm, Jens Grabowski, Dieter HogrefeTest Case Generation for Temporal Properties, 1993
-
Jens Grabowski, Dieter Hogrefe, Robert Nahm, Andreas SpichigerRelating Test Purposes to Formal Specifications: Towards a Theoretical Foundation of Practical Testing, 1993
-
Jens Grabowski, Rudolf Scheurer, Andreas Spichiger, Stefan SuterZur Anwendbarkeit von TESDL für die automatische Generierung von TTCN Testfällen aus SDL Spezifikationen, 1993
-
Jens Grabowski, Dieter Hogrefe, Robert NahmA Method for the Generation of Test Cases Based on SDL and MSCs, 1993
-
Peter Graubmann, Ekkart Rudolph, Jens GrabowskiTelecommunications Development Based on Message Sequence Charts and SDL, Report of the ESPRIT project, 1991
Pages
2024 © Software Engineering For Distributed Systems Group