Beat Koch (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

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 Beat Koch, Jens Grabowski, Dieter Hogrefe, Michael Schmitt II: Autolink: A Tool for Automatic Test Generation from SDL Specifications. WIFT 1998: 114-

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

Selection of 5 from 6 records - Beat Koch has 6 coauthors

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
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		Beat Koch, Jens Grabowski, Dieter Hogrefe, Michael Schmitt II: Autolink: A Tool for Automatic Test Generation from SDL Specifications. WIFT 1998: 114-
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