Testing of Communicating Systems

1 Future directions for protocol testing, learning the lessons from the past.- 2 PertTTCN, a TTCN language extension for performance testing.- 3 Real-time TTCN for testing real-time and multimedia systems.- 4 Integration of test procedures and trials for DECT handsets.- 5 Development of an ETSI standard for Phase-2 GSM/DCS mobile terminal conformance testing.- 6 Automatic executable test case generation for extended finite state machine protocols.- 7 A method to derive a single-EFSM from communicating multi-EFSM for data part testing.- 8 Basing test coverage on a formalization of test hypotheses.- 9 Design for testability: a step-wise approach to protocol testing.- 10 Developments in testing transition systems.- 11 Checking experiments with labeled transition systems for trace equivalence.- 12 An approach to dynamic protocol testing.- 13 Sensitivity analysis of the metric based test selection.- 14 Analyzing performance bottlenecks in protocols based on finite state specifications.- 15 A conformance testing for communication protocols modeled as a set of DFSMs with common inputs.- 16 On test case generation from asynchronously communicating state machines.- 17 Fault detection in embedded components.- 18 A pragmatic approach to generating test sequences for embedded systems.- 19 The European initiative for the development of infrastructural tools: the INTOOL programme.- 20 HARPO: testing tools development.- 21 Application of a TTCN based conformance test environment on the Internet email protocol.- 22 The INTOOL/CATG European project: development of an industrial tool in the field of computer aided test generation.- 23 Modeling and testing of protocol systems.- 24 A pragmatic approach to test generation.- 25 Towards abstract test methods for relay system testing.- 26 Applying SaMsTaG to the B-ISDN protocol SSCOP.- 27 Design of protocol monitor emulating behaviors of TCP/IP protocols.- 28 A two-level approach to automated conformance testing of VHDL designs.- Index of