Searching for authors named "Beat Koch" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
AUTOLINK - A Tool for the Automatic and Semi-Automatic Test Generation
- …--- Autolink --- A Tool for the Automatic and Semi-Automatic Test Generation Michael Schmitt, Beat…
- Cited by 5 (2 self) – Add To MetaCart
-
Autolink- A Tool for Automatic Test Generation from SDL Specifications
- …--- Autolink--- A Tool for Automatic Test Generation from SDL Specifications Beat Koch, Jens…
- Cited by 8 (3 self) – Add To MetaCart
-
SDL and MSC Based Test Generation for Distributed Test Architectures
- …SDL and MSC Based Test Generation for Distributed Test Architectures Jens Grabowski, Beat Koch…
- Cited by 5 (2 self) – Add To MetaCart
-
Some Implications of MSC, SDL and TTCN Time Extensions for Computer-aided Test Generation
- … Hogrefe, Beat Koch, and Helmut Neukirchen Institute for Telematics, University of Lübeck Ratzeburger Allee…
- Cited by 3 (0 self) – Add To MetaCart
-
Towards the Industrial Use of Validation Techniques and Automatic Test Generation Methods for SDL Specifications
- … Specifications Anders Ek a , Jens Grabowski b , Dieter Hogrefe b , Richard Jerome c , Beat Koch b…
- Cited by 11 (5 self) – Add To MetaCart
Showing 1 through 5.
