Abstract is missing.
- Lessons From the Establishment of U.S. GOSIP Testing ProgramJean Philippe Favreau, J. Stephen Nightingale. 3-15
- Fault Models in TestingGregor von Bochmann, Anindya Das, Rachida Dssouli, Martin Dubuc, Abderrazak Ghedamsi, Gang Luo. 17-30
- On Test Coverage Metrics for Communication ProtocolsSon T. Vuong, Jadranka Alilovic-Curgus. 31-45
- Status Report on ISO/IEC 9646 Standardization and ExtensionD. Rayner. 47-58
- On the Development of a Standard for Conformance Testing Based on Formal SpecifictationsDieter Hogrefe. 59-66
- Text Derivation for Standardised Test MethodsHans van Dam, Hans Kloosterman, Erik Kwast. 69-82
- Checking Experiments with Protocol MachinesAlexandre Petrenko. 83-94
- A Test Case Generation Method for Concurrent ProgramsNoriyasu Arakawa, Terunao Soneoka. 95-106
- Real Effects Testing of OSI ApplicationsM. E. van der Haven, M. G. L. Kockelmans, E. J. Slotboom. 107-117
- A Bench Mark on the Design of Ferry Based Test SystemsChan Sheng He, Hua-Xin Zeng, F. Liu. 119-130
- Protocol Conformance Testing: A Formal Perspective on ISO IS-9646Jan Tretmans, Pim Kars, Ed Brinksma. 131-142
- Common Abstract Test Suite for the Connection Oriented Presentation Protocol Embedded Under Different Application ContextsCecilia Corbi, Giuseppe Sisto. 143-149
- Experiences in Developing a Test Suite Structure and Test Purposes Document for Open SystemsG. W. Cowin. 151-162
- Results of the CTS-2 ISDN Basic Access ProjectR. J. Helwerda. 163-177
- OPEN ITS: An Advanced Concept of an Open Test Environment for the Testing of OSI-based ProductsMichel Hordies, Serge Simonet. 179-193
- TESTL: An Environment for Incremental Test Suite Design Based on Finite-State ModelsMartin Dubuc, Rachida Dssouli, Gregor von Bochmann. 195-206
- Parameter Specification Language and Test Data Generation Tools for Communication Software TestingFumiako Sato, Hirosato Tsuji, Kotaro Katsuyama, Tadanori Mizuno. 207-218
- Advanced Testing Tools For Intelligent NetworkE. Guarene, P. Marchese. 219-230
- Relating Events for Conformance Testing - a Pragmatic ApproachRoelof Jan Velthuys, Georg Zörntlein. 231-253
- On Static and Dynamic Test Case Selections in Protocol Confomance TestingSamuel T. Chanson, Qin Li. 255-266
- Testing Non-Deterministic State Machines with Fault CoverageSusumu Fujiwara, Gregor von Bochmann. 267-280
- Session on Test Suite DevelopmentP. Marchese. 283-283
- Protocol Conformance Test Generation Using a Graph Rewriting SystemAna R. Cavalli, Sung Un Kim. 285-288
- Session on Conformance Requirements and Test Purposes in the Context of Formal MethodsDieter Hogrefe. 289-290
- Session on Equivqlence of Test ToolsK. Stoettinger. 291-293
- Session on TTCN CompilersR. J. Heijnk. 295
- Overview of the Standardisation of Conformance Test Specifications and Tools: European Work, Contribution to ISO/CCITT and Worldwide HarmonisationF. van den Berghe. 297-310