Roland Groz, Robert M. Hierons
Proceedings of the 16th International Conference on Testing of Communicating Systems
TestCom, 2004.

@proceedings{TestCom-2004,
	address       = "Oxford, England, United Kingdom",
	editor        = "Roland Groz and Robert M. Hierons",
	isbn          = "3-540-21219-1",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 16th International Conference on Testing of Communicating Systems}",
	volume        = 2978,
	year          = 2004,
}

Contents (14 items)

9 ×#testing
3 ×#multi
2 ×#uml
2 ×#using
2 ×#validation

TestCom-2004-BatteramHRHRV #component #implementation #open source #testing #tool support

Implementation of an Open Source Toolset for CCM Components and Systems Testing (HJB, WH, WAR, AH, AR, AV), pp. 1–16.

TestCom-2004-CavalliMZCMCML #multi #platform #validation

A Multi-service and Multi-protocol Validation Platform-Experimentation Results (ARC, AM, FZ, PC, WM, RC, MM, PL), pp. 17–32.

TestCom-2004-DaiGNP #algorithm #design #uml

From Design to Test with UML: Applied to a Roaming Algorithm for Bluetooth Devices (ZRD, JG, HN, HP), pp. 33–49.

TestCom-2004-DibuzST #mobile #performance

BCMP Performance Test with TTCN-3 Mobile Node Emulator (SD, TS, ZT), pp. 50–59.

TestCom-2004-El-FakihTSY #automaton #multi #testing

FSM Based Interoperability Testing Methods for Multi Stimuli Model (KEF, VT, NS, NY), pp. 60–75.

TestCom-2004-HuoP #on the #testing

On Testing Partially Specified IOTS through Lossless Queues (JH, AP), pp. 76–94.

TestCom-2004-LiWY #multi #testing

Testing Multi Input/Output Transition System with All-Observer (ZL, JW, XY), pp. 95–111.

TestCom-2004-MaggiorePKPG #experience #testing

Soip Over Satellite Testing — TIM Experience (GM, LP, GDK, FP, BRG), pp. 112–127.

TestCom-2004-MuckeH #generative #uml

Generation of Optimized Testsuites for UML Statecharts with Time (TM, MH), pp. 128–143.

TestCom-2004-NeukirchenDG #communication #realtime #requirements #testing #using

Communication Patterns for Expressing Real-Time Requirements Using MSC and Their Application to Testing (HN, ZRD, JG), pp. 144–159.

TestCom-2004-RusuMTJJ #safety #testing #verification

From Safety Verification to Safety Testing (VR, HM, VT, TJ, BJ), pp. 160–176.

TestCom-2004-Schulz #consistency #protocol #testing

Derivation of Abstract Protocol Type Definitions for the Conformance Testing of Text-Based Protocols (SS), pp. 177–192.

TestCom-2004-SugetaMW #mutation testing #specification #testing #validation

Mutation Testing Applied to Validate SDL Specifications (TS, JCM, WEW), pp. 193–208.

TestCom-2004-Vassiliou-GiolesDS #execution #using

Execution of External Applications using TTCN-3 (TVG, GD, IS), pp. 209–223.