Implementation of an Open Source Toolset for CCM Components and Systems Testing.

Harold J. Batteram, Wim Hellenthal, Willem A. Romijn, Andreas Hoffmann, Axel Rennoch, Alain Vouffo

 1-16

A Multi-service and Multi-protocol Validation Platform-Experimentation Results.

Ana R. Cavalli, Amel Mederreg, Fatiha Zaïdi, Pierre Combes, Wei Monin, Richard Castanet, Marcien MacKaya, Patrice Laurençot

 17-32

From Design to Test with UML: Applied to a Roaming Algorithm for Bluetooth Devices.

Zhen Ru Dai, Jens Grabowski, Helmut Neukirchen, Holger Pals

 33-49

BCMP Performance Test with TTCN-3 Mobile Node Emulator.

Sarolta Dibuz, Tibor Szabó, Zsolt Torpis

 50-59

FSM Based Interoperability Testing Methods for Multi Stimuli Model.

Khaled El-Fakih, Vadim Trenkaev, Natalia Spitsyna, Nina Yevtushenko

 60-75

On Testing Partially Specified IOTS through Lossless Queues.

Jiale Huo, Alexandre Petrenko

 76-94

Testing Multi Input/Output Transition System with All-Observer.

Zhongjie Li, Jianping Wu, Xia Yin

 95-111

Soip Over Satellite Testing - TIM Experience.

Giulio Maggiore, Letterio Pirrone, Gaethan Donlap Kouang, Federico Piovan, Biagio Ricco Galluzzo

 112-127

Generation of Optimized Testsuites for UML Statecharts with Time.

Tilo Mücke, Michaela Huhn

 128-143

Communication Patterns for Expressing Real-Time Requirements Using MSC and Their Application to Testing.

Helmut Neukirchen, Zhen Ru Dai, Jens Grabowski

 144-159

From Safety Verification to Safety Testing.

Vlad Rusu, Hervé Marchand, Valéry Tschaen, Thierry Jéron, Bertrand Jeannet

 160-176

Derivation of Abstract Protocol Type Definitions for the Conformance Testing of Text-Based Protocols.

Stephan Schulz

 177-192

Mutation Testing Applied to Validate SDL Specifications.

Tatiana Sugeta, José Carlos Maldonado, W. Eric Wong

 193-208

Execution of External Applications using TTCN-3.

Theofanis Vassiliou-Gioles, George Din, Ina Schieferdecker

 209-223