Search All Publications
Technical Reports
-
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, Dieter Hogrefe, Robert NahmA Method for the Generation of Test Cases Based on SDL and MSCs, 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
2024 © Software Engineering For Distributed Systems Group