Search the dblp DataBase

Publications of Author

1. Michael Schmitt II, Jens Grabowski, Dieter Hogrefe, Beat Koch
   -Autolink- A Tool for the Automatic and Semi-Automatic Test Generation. [Citation Graph (0, 0)][DBLP]
   FBT, 1997, pp:333-341 [Conf]
   
2. Michael Schmitt II, Anders Ek, Beat Koch, Jens Grabowski, Dieter Hogrefe
   Autolink - Putting SDL-Based Test Generation Into Practice. [Citation Graph (0, 0)][DBLP]
   IWTCS, 1998, pp:227-244 [Conf]
   
3. Dieter Hogrefe, Beat Koch, Helmut Neukirchen
   Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation. [Citation Graph (0, 0)][DBLP]
   SDL Forum, 2001, pp:168-181 [Conf]
   
4. Anders Ek, Jens Grabowski, Dieter Hogrefe, Richard Jerome, Beat Koch, Michael Schmitt II
   Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications. [Citation Graph (0, 0)][DBLP]
   SDL Forum, 1997, pp:245-260 [Conf]
   
5. Jens Grabowski, Beat Koch, Michael Schmitt II, Dieter Hogrefe
   SDL and MSC based test generation for distributed test architectures. [Citation Graph (0, 0)][DBLP]
   SDL Forum, 1999, pp:389-404 [Conf]
   
6. Beat Koch, Jens Grabowski, Dieter Hogrefe, Michael Schmitt II
   Autolink: A Tool for Automatic Test Generation from SDL Specifications. [Citation Graph (0, 0)][DBLP]
   WIFT, 1998, pp:114-0 [Conf]