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
17
4
Session I Testing TCP/IP
A TCP Test System Specifying only Exceptional Packet Sequences
21
18
Verifying IP Meters from Sampled Measurements
39
16
Testing IP Differentiated Services Implementations
55
20
Invited Talk I - Abstract
Achieving High Reliability for Ubiquitous Information Technology
75
4
Session II Testing Internet Systems
An Automated, Flexible Testing Environment for UMTS
79
16
Testing Mobile Agents
95
16
Testing Access to External Information Sources in a Mediator Environment
111
18
Session III Industrial Session I
Compliance of Wireless Application Protocols
129
10
A Flexible Traffic Generator for Testing PABX and Call Center Performance
139
12
Session IV Interoperability Testing
Interoperability Test Generation for Communication Protocols based on Multiple Stimuli Principle
151
18
Automated Generation of Interoperability Tests
169
18
Keynote Speech II -- Abstract
Applying Formal Methods in Mobile Protocol Testing
187
4
Session V Industrial Session II
Experiences of TTCN-3 Test Executor Development
191
10
Position Statement: Making TTCN-3 testing a success
201
8
Position Statement: Testing Automation with Computer Aided Test Case Generation
209
10
Session VI Test Automation
Automated Testing in Practice: The Highway Tolling System
219
16
Ad-hoc Protocol Modelling, Validation and Automated Test Suite Generation
235
14
Session VII Test Generation and Selection
Generate Certified Test Cases by Combining Theorem Proving and Reachability Analysis
249
18
Test Selection, Trace Distance and Heuristics
267
16
Formulation of the Interaction Test Coverage Problem as an Integer Program
283
18
Session VIII Testing Distributed Systems
Principles of Distributed Test Synthesis based on True-concurrency Models
301
16
Fault Detection within a Component of a System of Communicating FSMs
317
18
Invited Talk II
Hardware/Software Integration Testing for the new Airbus Aircraft Families
335
20
Session IX FSM-based Testing
Test Generation for CEFSM Combining Specification and Fault Coverage
355
18
FSM-based Re-Testing Methods
373
18
A New Approach To Checking Sequence Generation for Finite State Machines
391
16
Session X TTCN-3
Timed TTCN-3 - A Real-Time Extension for TTCN-3
407
18
Implementation of TTCN-3 Test Systems using the TRI
425
18
A Definition and Utilisation of OMG IDL to TTCN-3 Mappings
443
16
Author Index
459
2
Partners of TestCom 2002
461