search for books and compare prices
Tables of Contents for Testing of Communicating Systems XIV
Chapter/Section Title
Page #
Page Count
Preface
ix
Conference Committees
xi
Keynote Speech I - Abstract
Testing of IP Services & Applications in a Service Provider Environment
Andreas Gehring
17
4
Session I Testing TCP/IP
A TCP Test System Specifying only Exceptional Packet Sequences
Tomohiko Ogishi Toru Hasegawa Toshihiko Kato Kenji Suzuki
21
18
Verifying IP Meters from Sampled Measurements
Carlos Veciana-Nogues Albert Cabellos-Aparicio Jordi Domingo-Pascual Josep Sole-Pareta
39
16
Testing IP Differentiated Services Implementations
Carlos Parada Jorge Carapinha Francisco Fontes Solange Lima Paulo Carvalho
55
20
Invited Talk I - Abstract
Achieving High Reliability for Ubiquitous Information Technology
Robert V. Binder
75
4
Session II Testing Internet Systems
An Automated, Flexible Testing Environment for UMTS
Jan Bredereke Bernd-Holger Schlingloff
79
16
Testing Mobile Agents
Mikael Marche Yves-Marie Quemener Roland Groz
95
16
Testing Access to External Information Sources in a Mediator Environment
Zoltan Adam Mann Jacques Calmet Peter Kullmann
111
18
Session III Industrial Session I
Compliance of Wireless Application Protocols
Ousmane Kone
129
10
A Flexible Traffic Generator for Testing PABX and Call Center Performance
Georg Roßler Thomas Steinert
139
12
Session IV Interoperability Testing
Interoperability Test Generation for Communication Protocols based on Multiple Stimuli Principle
Soonuk Seol Myungchul Kim Samuel T. Chanson
151
18
Automated Generation of Interoperability Tests
Cedric Besse Ana Cavalli Myungchul Kim Fatiha Zadi
169
18
Keynote Speech II -- Abstract
Applying Formal Methods in Mobile Protocol Testing
Ari Ahtiainen
187
4
Session V Industrial Session II
Experiences of TTCN-3 Test Executor Development
Janos Zoltan Szabo
191
10
Position Statement: Making TTCN-3 testing a success
Wolfgang Sachse
201
8
Position Statement: Testing Automation with Computer Aided Test Case Generation
Tapio Heikkila Petri Tenno Jarmo Vaananen
209
10
Session VI Test Automation
Automated Testing in Practice: The Highway Tolling System
Rene G. de Vries Axel Belinfante Jan Feenstra
219
16
Ad-hoc Protocol Modelling, Validation and Automated Test Suite Generation
Endre Horvath
235
14
Session VII Test Generation and Selection
Generate Certified Test Cases by Combining Theorem Proving and Reachability Analysis
Richard Castanet Davy Rouillard
249
18
Test Selection, Trace Distance and Heuristics
Loe M. G. Feijs Nicolae Goga Sjouke Mauw Jan Tretmans
267
16
Formulation of the Interaction Test Coverage Problem as an Integer Program
Alan W. Williams Robert L. Probert
283
18
Session VIII Testing Distributed Systems
Principles of Distributed Test Synthesis based on True-concurrency Models
Claude Jard
301
16
Fault Detection within a Component of a System of Communicating FSMs
Ana Cavalli Svetlana Prokopenko Nina Yevtushenko
317
18
Invited Talk II
Hardware/Software Integration Testing for the new Airbus Aircraft Families
Jan Peleska
335
20
Session IX FSM-based Testing
Test Generation for CEFSM Combining Specification and Fault Coverage
Sergiy Boroday Alex Petrenko Roland Groz Yves-Marie Quemener
355
18
FSM-based Re-Testing Methods
Khaled El-Fakih Nina Yevtushenko Gregor v. Bochmann
373
18
A New Approach To Checking Sequence Generation for Finite State Machines
Burak Serdar Kuo-Chung Tai
391
16
Session X TTCN-3
Timed TTCN-3 - A Real-Time Extension for TTCN-3
Zhen Ru Dai Jens Grabowski Helmut Neukirchen
407
18
Implementation of TTCN-3 Test Systems using the TRI
Stephan Schulz Theofanis Vassiliou-Gioles
425
18
A Definition and Utilisation of OMG IDL to TTCN-3 Mappings
Michael Ebner Aihong Yin Mang Li
443
16
Author Index
459
2
Partners of TestCom 2002
461
<