Testing of Communicating Systems XIV: Application to Internet Technologies and Services (Hardcover, 2002)

Preface. Conference Committees. Keynote Speech I: Abstract. Testing of IP Services & Applications in a Service Provider Environment; A. Ghering. Session I: Testing TCP/IP. A TCP Test System Specifying only Exceptional Packet Sequences; T. Ogishi, et al. Verifying IP Meters from Sampled Measurements; C. Veciana-Nogues, et al. Testing IP Differentiated Services Implementations; C. Parada, et al. Invited Talk I: Abstract. Achieving High Reliability for Ubiquitous Information Technology; R.V. Binder. Session II: Testing Internet Systems. An Automated, Flexible Testing Environment for UMTS; J. Bredereke, B.-H. Schlinghoff. Testing Mobile Agents; M. Marche, et al. Testing Access to External Information Sources in a Mediator Environment; Z.A. Mann, et al. Session III: Industrial Session I. Compliance of Wireless Application Protocols; O. Kone. A Flexible Traffic Generator for Testing PABX and Call Center Performance; G. Roßler, T. Steinert. Session IV: Interoperability Testing. Interoperability Test Generation for Communication Protocols based on Multiple Stimuli Principle; S. Seol, et al. Automated Generation of Interoperability Tests; C. Besse, et al. Keynote Speech II: Abstract. Applying Formal Methods in Mobile Protocol Testing; A. Ahtiainen. Session V: Industrial Session II. Experiences of TTCN-3 Test Executor Development; J.Z. Szabo. Position Statement: Making TTCN-3 testing a success; W. Sachse. Position Statement: Testing Automation with Computer Aided Test Case Generation; T. Heikkila, et al. Session VI: Test Automation. Automated Testing inPractice: The Highway Tolling System; R.G. de Vries, et al. Ad-hoc Protocol Modelling, Validation and Automated Test Suite Generation; E. Horvath. Session VII: Test Generation and Selection. Generate Certified Test Case by Combining Theorem Proving and Reachability Analysis; R. Castanet, D. Rouillard. Test Selection, Trace Distance and Heuristics; L.M.G. Feijs, et al. Formulation of the Interaction Test Coverage Problem as an Integer Program; A.W. Williams, R.L. Probert. Session VIII: Testing Distributed Systems. Principles of Distributed Test Synthesis based on True-concurrency Models; C. Jard. Fault Detection within a Component of a System of Communicating FSMs; A. Cavalli, et al. Invited Talk II. Hardware/Software Integration Testing for the new Airbus Aircraft Families; J. Peleska. Session IX: FSM-based Testing. Test Generation for CEFSM Combining Specification and Fault Coverage; S. Boroday, et al. FSM-based Re-Testing Methods; K. El-Fakih, et al. A New Approach to Checking Sequence Generation for Finite State Machines; B. Serdar, Kuo-Chung Tai. Session X: TTCN-3. Timed TTCN-3 &endash; A Real-Time Extension for TTCN-3; Zhen Ru Dai, et al. Implementation of TTCN-3 Test Systems using the TRI; S. Schulz, T. Vassiliou-Gioles. A Definition and Utilisation of OMG IDL to TTCN-3 Mappings; M. Ebner, et al. Author Index. Partners of TestCom 2002.