Search All Publications
Journal Articles
-
Jens Grabowski, Ekkart RudolphMessage Sequence Chart (MSC) - A Survey of the new CCITT Language for the Description of Traces within Communication Systems, CCITT, CCITT, Geneva, 1993
Articles in Conference Proceedings
-
Peter Graubmann, Ekkart Rudolph, Jens GrabowskiTowards a Petri Net Based Semantics Definition for Message, SDL'93, 1993
-
Jens Grabowski, Dieter Hogrefe, Robert NahmTest Case Generation with Test Purpose Specification by MSCs, Using Objects , 1993
-
Jens Grabowski, Ekkart Rudolph, Peter GraubmannThe Standardization of Message Sequence Charts, Proceedings of the IEEE Software Engineering Standards Symposium 1993, 1993
Technical Reports
-
Jens Grabowski, Dieter Hogrefe, Robert Nahm, Andreas SpichigerRelating Test Purposes to Formal Specifications: Towards a Theoretical Foundation of Practical Testing, 1993
-
Robert Nahm, Jens Grabowski, Dieter HogrefeTest Case Generation for Temporal Properties, 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
2025 © Software Engineering For Distributed Systems Group