Testing of Communicating Systems

Preface. Committee Members and Reviewers. Part I: Test Suite Coverage and Verification. 1. Verification of Test Suites; C. Jard, et al. 2. Structural Coverage for LOTOS - a Probe Insertion Technique; D. Amyot, L. Logrippo. 3.Fault Detection Power of a Widely Used Test Suite for a System of Communication FSMs; A. Cavalli, et al. Part II: Testability and Test Feasibility. 4. Determination of Teat Configurations for Pair-Wise Interaction Coverage; A.W. Williams. 5. Incremental Testing at System Reference Points; I. Scheiferdecker, et al. 6. Generation of Feasible Test Sequences for EFSM Models; A.Y. Duale, M. Umit Uyar. Part III: Interoperability Testing of Internet Protocols. 7. Experiments on IPv6 Testing; T. Csondes, et al. 8. Interoperability Test Suite Generation for the TCP Data Part Using Experimental Design Techniques; J. Ryu, et al. Interoperability Testing System of TCP/IP Based Communications Systems in Operational Environment; T. Kato. PartIV: TTCN Evolution and Application. On the Design of the New Testing Language TTCN-3; J. Grabowski, et al. 11.HTTP Performance Evaluation with TTCN; R. Gecse, et al. 12. Conformance Testing of CORBA Services Using TTCN; A. Mednonogov, et al. Part V: Test Automation and Industrial Testing Experience. 13. Formal Test Automation: the Conference Protocol with PHACT; l. Heerink, et al. 14. Formal Test Automation: the Conference Protocol with TGV/TORX; L. Du Bousquet, et al. 15. Functional Testing GPRS Support Nodes using TTCN; E. Horvath, A. Manthey. 16. The Test Sub Group (TSG): A Cooperative Approach to Improve the Release Quality before Type Acceptance; G. Maggiore, et al. Part VI: Real-Time Testing. 17. Verification and Testing of Concurrent Systems with Action Races; A. Petrenko, A. Ulrich. 18. An Approach for Testing Real Time Protocol Entities; A. Khoumsi, et al. 19. Test Generation in the Presence of Conflicting Timers; M.A. Fecko, et al. Author Index.