16. TestCom 2004: Oxford, UK

Roland Groz, Robert M. Hierons (Eds.): Testing of Communicating Systems, 16th IFIP International Conerence, TestCom 2004, Oxford, UK, March 17-19, 2004, Proceedings. Lecture Notes in Computer Science 2978 Springer 2004, ISBN 3-540-21219-1 BibTeX

Harold J. Batteram, Wim Hellenthal, Willem A. Romijn, Andreas Hoffmann, Axel Rennoch, Alain Vouffo:
Implementation of an Open Source Toolset for CCM Components and Systems Testing. 1-16
Electronic Edition (link) BibTeX
Ana R. Cavalli, Amel Mederreg, Fatiha Zaïdi, Pierre Combes, Wei Monin, Richard Castanet, Marcien MacKaya, Patrice Laurençot:
A Multi-service and Multi-protocol Validation Platform-Experimentation Results. 17-32
Electronic Edition (link) BibTeX
Zhen Ru Dai, Jens Grabowski, Helmut Neukirchen, Holger Pals:
From Design to Test with UML: Applied to a Roaming Algorithm for Bluetooth Devices. 33-49
Electronic Edition (link) BibTeX
Sarolta Dibuz, Tibor Szabó, Zsolt Torpis:
BCMP Performance Test with TTCN-3 Mobile Node Emulator. 50-59
Electronic Edition (link) BibTeX
Khaled El-Fakih, Vadim Trenkaev, Natalia Spitsyna, Nina Yevtushenko:
FSM Based Interoperability Testing Methods for Multi Stimuli Model. 60-75
Electronic Edition (link) BibTeX
Jiale Huo, Alexandre Petrenko:
On Testing Partially Specified IOTS through Lossless Queues. 76-94
Electronic Edition (link) BibTeX
Zhongjie Li, Jianping Wu, Xia Yin:
Testing Multi Input/Output Transition System with All-Observer. 95-111
Electronic Edition (link) BibTeX
Giulio Maggiore, Letterio Pirrone, Gaethan Donlap Kouang, Federico Piovan, Biagio Ricco Galluzzo:
Soip Over Satellite Testing - TIM Experience. 112-127
Electronic Edition (link) BibTeX
Tilo Mücke, Michaela Huhn:
Generation of Optimized Testsuites for UML Statecharts with Time. 128-143
Electronic Edition (link) BibTeX
Helmut Neukirchen, Zhen Ru Dai, Jens Grabowski:
Communication Patterns for Expressing Real-Time Requirements Using MSC and Their Application to Testing. 144-159
Electronic Edition (link) BibTeX
Vlad Rusu, Hervé Marchand, Valéry Tschaen, Thierry Jéron, Bertrand Jeannet:
From Safety Verification to Safety Testing. 160-176
Electronic Edition (link) BibTeX
Stephan Schulz:
Derivation of Abstract Protocol Type Definitions for the Conformance Testing of Text-Based Protocols. 177-192
Electronic Edition (link) BibTeX
Tatiana Sugeta, José Carlos Maldonado, W. Eric Wong:
Mutation Testing Applied to Validate SDL Specifications. 193-208
Electronic Edition (link) BibTeX
Theofanis Vassiliou-Gioles, George Din, Ina Schieferdecker:
Execution of External Applications using TTCN-3. 209-223
Electronic Edition (link) BibTeX