Abstract is missing.
- Testing of IP Services & Applications in a Service Provider EnvironmentAndreas Gehring. 17
- A TCP Test System Specifying only Exceptional Packet SequencesTomohiko Ogishi, Toru Hasegawa, Toshihiko Kato, Kenji Suzuki. 21-38
- Verifying IP Meters from Sampled MeasurementsCarlos Veciana-Nogués, Albert Cabellos-Aparicio, Jordi Domingo-Pascual, Josep Solé-Pareta. 39-54
- Testing IP Differentiated Services ImplementationsCarlos Parada, Jorge Carapinha, Francisco Fontes, Solange Rito Lima, Paulo Carvalho. 55
- Achieving High Reliability for Ubiquitous Information TechnologyRobert V. Binder. 75
- An Automated, Flexible Testing Environment for UMTSJan Bredereke, Bernd-Holger Schlingloff. 79-94
- Testing Mobile AgentsMikael Marche, Yves-Marie Quemener, Roland Groz. 95-110
- Testing Access to External Information Sources in a Mediator EnvironmentZoltán Ádám Mann, Jacques Calmet, Peter Kullmann. 111
- Compliance of Wireless Application ProtocolsOusmane Koné. 129-138
- A Flexible Traffic Generator for Testing PABX and Call Center PerformanceGeorg Rößler, Thomas Steinert. 139
- Interoperability Test Generation for Communication Protocols based on Multiple Stimuli PrincipleSoonuk Seol, Myungchul Kim, Samuel T. Chanson. 151-168
- Automated Generation of Interoperability TestsCédric Besse, Ana R. Cavalli, Myungchul Kim, Fatiha Zaïdi. 169
- Applying Formal Method in Mobile Protocol TestingAri Ahtiainen. 187
- Experiences of TTCN-3 Test Executor DevelopmentJános Zoltán Szabó. 191-200
- Position Statement: Making TTCN-3 testing a successWolfgang Sachse. 201-208
- Position Statement: Testing Automation with Computer Aided Test Case GenerationTapio Heikkilä, Petri Tenno, Jarmo Väänänen. 209
- Automated Testing in Practice: The Highway Tolling SystemRené G. de Vries, Axel Belinfante, Jan Feenstra. 219-234
- Ad-hoc Protocol Modelling, Validation and Automated Test Suite GenerationEndre Horváth. 235
- Generate Certified Test Cases by Combining Theorem Proving and Reachability AnalysisRichard Castanet, Davy Rouillard. 249-266
- Test Selection, Trace Distance and HeuristicsLoe M. G. Feijs, Nicolae Goga, Sjouke Mauw, Jan Tretmans. 267-282
- Formulation of the Interaction Test Coverage Problem as an Integer ProgramAlan W. Williams, Robert L. Probert. 283
- Principles of Distributed Test Synthesis based on True-concurrency ModelsClaude Jard. 301-316
- Fault Detection within a Component of a System of Communicating FSMsAna R. Cavalli, Svetlana Prokopenko, Nina Yevtushenko. 317
- Hardware/Software Integration Testing for the new Airbus Aircraft FamiliesJan Peleska. 335
- Test Generation for CEFSM Combining Specification and Fault CoverageSergiy Boroday, Alexandre Petrenko, Roland Groz, Yves-Marie Quemener. 355-372
- FSM-based Re-Testing MethodsKhaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann. 373-390
- A New Approach To Checking Sequence Generation for Finite State MachinesBurak Serdar, Kuo-Chung Tai. 391
- Timed TTCN-3 - A Real-time Extension for TTCN-3Zhen Ru Dai, Jens Grabowski, Helmut Neukirchen. 407-424
- Implementation of TTCN-3 Test Systems using the TRIStephan Schulz, Theofanis Vassiliou-Gioles. 425-442
- A Definition and Utilization of OMG IDL to TTCN-3 MappingsMichael Ebner, Aihong Yin, Mang Li. 443