| Preface |
| Conference |
| Committees |
| Keynote |
| Speech I: Abstract |
| Testing of IP Services & Applications in a Service Provider Environment / A. Ghering |
| Testing TCP/IP / Session I： |
| A TCP Test System Specifying only Exceptional Packet Sequences / T. Ogishi, et al |
| Verifying IP Meters from Sampled Measurements / C. Veciana-Noguès, 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 |
| Testing Internet Systems / Session II： |
| 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 |
| Industrial / Session III： |
| Compliance of Wireless Application Protocols / O. Konè |
| A Flexible Traffic Generator for Testing PABX and Call Center Performance / G. Rößler ; T. Steinert |
| Interoperability Testing / Session IV： |
| 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 |
| Experiences of TTCN-3 Test Executor Development / J.Z. SzabòSession V： |
| Position Statement: Making TTCN-3 testing a success / W. Sachse |
| Position Statement: Testing Automation with Computer Aided Test Case Generation / T. Heikkilä, et al |
| Test Automation / Session VI： |
| Automated Testing in Practice: The Highway Tolling System / R.G. de Vries, et al |
| Ad-hoc Protocol Modelling, Validation and Automated Test Suite Generation / E. Horvàth |
| Test Generation and Selection / Session VII： |
| 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 |
| Testing Distributed Systems / Session VIII： |
| 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 |
| FSM-based Testing / Session IX： |
| 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 |
| TTCN-3. Timed TTCN-3 &endash; A Real-Time Extension for TTCN-3 / Zhen Ru Dai, et alSession X： |
| 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 |
図書
