1 Open issues in conformance test specification. - 2 OSI protocol testing system based on user friendly test scenario specification functions. - 3 TTCN test case correctness validation. - 4 Fault coverage of tests based on finite state models. - 5 On transition time testing based on extended finite state machines. - 6 Selecting test sequences for partially-specified nondeterministic finite state machines. - 7 An optimal state identification method using a dynamic-programming-based approach for protocol testing. - 8 The present status of conformance testing and interoperability testing. - 9 Design and implementation of an interconnectability testing system AICTS. - 10 Evaluation of some test generation tools on a real protocol example. - 11 Protocol validation tools as test case generators. - 12 Framework for formal methods in conformance testing. - 13 Testing strategies for communicating FSMs. - 14 A generalization of the multiple UIO method of test sequence selection for protocols represented in FSM. - 15 Automatic generation of extended UIO sequences for communication protocols in an EFSM model. - 16 A new test sequence generation method for interoperability testing. - 17 How to observe interoperability at the service level of protocols. - 18 Testing using telecommunications management. - 19 An implementation of CMIP/CMISE conformance testing system. - 20 A conformance testing framework for applying test purposes. - 21 Implementation of TTCN operational semantics in Estelle. - 22 An approach to TTCN-based test execution. - 23 Time oriented protocol testing simulator. - 24 On the exploitation of parallelism in a test generation method for LOTOS-specifications. - 25 Panel on some issues on testing theory and its application. - 26 Some issues on testing theory and its application. - Index ofcontributors. - Keyword index. Language: English