1 Testing through the ages. - 2 An executable protocol test sequence generation method for EFSM-specified protocols. - 3 Transformation of Estelle modules aiming at test case generation. - 4 Application of a LOTOS based test environment on AAL5. - 5 Stable testers for environment sensitive systems. - 6 Timed systems behaviour and conformance testing a mathematical framework. - 7 An adaptative test sequence generation method for the users needs. - 8 A framework for testing telecommunication services. - 9 Conformance testing of protocols specified as labeled transition systems. - 10 Two approaches linking test generation with verification techniques. - 11 PROSPECT a proposal for a new test specification language and its implementation. - 12 Test sequence generation for adaptive interoperability testing. - 13 Fault-tolerant UIO sequences in finite state machines. - 14 Guaranteeing full fault coverage for UIO-based testing methods. - 15 Towards testable communication software. - 16 Design for testability of protocols based on formal specifications. - 17 On the design for testability of communication protocols. - 18 A unified test case generation method for the EFSM model using context independent unique sequences. - 19 Handling redundant and additional states in protocol testing. - 20 Experiences with the design of B-ISDN integrated test system (BITS). - 21 The testing of BTs intelligent peripheral using abstract test suites from ETSI. - 22 Design of intelligent OSI protocol monitor. - 23 Management and maintenance of TTCN abstract test suites. - 24 Port-synchronizable test sequences for communication protocols. - 25 Synchronizable and checking sequences based on UIO sequences. - 26 Specification-driven performance monitoring of SDL/MSC-specified protocols. - 27 Test management and TTCNbased test sequencing. - 28 Towards a practical formal method' for test derivation. - Index of contributors. - Keyword index. Language: English