Abstract is missing.
- Testing of Automata: From Experiments to Representations by Means of FragmentsI. S. Grunsky. 3-14
- TMN and Telecommunication Networks TestingMahamat Guiagoussou, Michel Kadoch. 17-34
- Conformance Testing Methodology of Internet Protocols Internet Application-Layer Protocol Testing - the Hypertext Transfer ProtocolRoland Gecse. 35-48
- Intelligent Protocol Analyzer for WWW Server Accesses with Exception Handling FunctionTomohiko Ogishi, Akira Idoue, Toshihiko Kato, Kenji Suzuki. 49-64
- Factorized Test Generation for Multi-Input/Output Transition SystemsEd Brinksma, Lex Heerink, Jan Tretmans. 67-82
- Test Generation for Specifications Modeled by Input/Output AutomataQ. M. Tan, Alexandre Petrenko. 83-100
- Distinguishing Tests for Nondeterministic Finite State MachinesSergiy Boroday. 101-108
- Evaluation of Test Coverage for Embedded System TestingJinsong Zhu, Son T. Vuong, Samuel T. Chanson. 111-126
- Test Suite Minimization for Testing in ContextNina Yevtushenko, Ana R. Cavalli, Luiz A. Paula Lima Jr.. 127-146
- Test Architectures for Distributed Systems: State of the Art and BeyondThomas Walter, Ina Schieferdecker, Jens Grabowski. 149-174
- Using Partial-Orders for Detecting Faults in Concurrent SystemsAlexandre Petrenko, Andreas Ulrich, V. Chapenko. 175-190
- Conformance Testing of a Multimedia System Using PHACTLoe M. G. Feijs, Frans A. C. Meijs, Jean R. Moonen, Jos van Wamel. 193-210
- An Industrial Experiment in Automatic Generation of Executable Test Suites for a Cache Coherency ProtocolHakim Kahlouche, César Viho, Massimo Zendri. 211-226
- Autolink - Putting SDL-Based Test Generation Into PracticeMichael Schmitt II, Anders Ek, Beat Koch, Jens Grabowski, Dieter Hogrefe. 227-244
- Testing Temporal Logic Properties in Distributed SystemsFalk Dietrich, Xavier Logean, Shawn Koppenhoefer, Jean-Pierre Hubaux. 247-258
- Programming Service Tests with TTCNM. Anlauf. 259-274
- A Guided Incremental Test Case Generation Procedure for Conformance Testing for CEFSM Specified ProtocolsC. Bourhfir, Rachida Dssouli, El Mostapha Aboulhamid, Nathalie Rico. 275-290
- Testing and Test Generation: State of the Art and Future ExpectationsAnders Ek. 293-306
- Interoperability Test Suite Derivation for the ATM/B-ISDN Signaling ProtocolJ. Shin, S. Kang. 307-326
- Test Suite Migration Experiences for B-ISUP and B-MTPC. Desroches, Mang Li, Stephan Pietsch, Axel Rennoch, Ina Schieferdecker, Theofanis Vassiliou-Gioles. 327-342
- Qualitative Notions of TestabilityBernd Baumgarten, H. Wiland. 345-360