| 2001 |
|---|
| 6 | EE | Dieter Hogrefe,
Beat Koch,
Helmut Neukirchen:
Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation.
SDL Forum 2001: 168-181 |
| 1999 |
|---|
| 5 | | Jens Grabowski,
Beat Koch,
Michael Schmitt II,
Dieter Hogrefe:
SDL and MSC based test generation for distributed test architectures.
SDL Forum 1999: 389-404 |
| 1998 |
|---|
| 4 | | Michael Schmitt II,
Anders Ek,
Beat Koch,
Jens Grabowski,
Dieter Hogrefe:
Autolink - Putting SDL-Based Test Generation Into Practice.
IWTCS 1998: 227-244 |
| 3 | EE | Beat Koch,
Jens Grabowski,
Dieter Hogrefe,
Michael Schmitt II:
Autolink: A Tool for Automatic Test Generation from SDL Specifications.
WIFT 1998: 114- |
| 1997 |
|---|
| 2 | | Michael Schmitt II,
Jens Grabowski,
Dieter Hogrefe,
Beat Koch:
-Autolink- A Tool for the Automatic and Semi-Automatic Test Generation.
FBT 1997: 333-341 |
| 1 | | 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.
SDL Forum 1997: 245-260 |
