M. Ümit Uyar, Ali Y. Duale, Mariusz A. Fecko
Proceedings of the 18th International Conference on Testing of Communicating Systems
TestCom, 2006.

@proceedings{TestCom-2006,
	address       = "New York, New York, USA",
	editor        = "M. Ümit Uyar and Ali Y. Duale and Mariusz A. Fecko",
	isbn          = "3-540-34184-6",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 18th International Conference on Testing of Communicating Systems}",
	volume        = 3964,
	year          = 2006,
}

Contents (23 items)

18 ×#testing
4 ×#generative
4 ×#using
3 ×#realtime
3 ×#sequence
2 ×#bound
2 ×#communication
2 ×#distributed
2 ×#finite
2 ×#network

TestCom-2006-GastonGRT #execution #symbolic computation

Symbolic Execution Techniques for Test Purpose Definition (CG, PLG, NR, AT), pp. 1–18.

TestCom-2006-LammelS #combinator #grammarware #testing

Controllable Combinatorial Coverage in Grammar-Based Testing (RL, WS), pp. 19–38.

TestCom-2006-RodriguezMN #logic #testing

A Logic for Assessing Sets of Heterogeneous Testing Hypotheses (IR, MGM, MN), pp. 39–54.

TestCom-2006-Ipate #bound #finite #nondeterminism #sequence #state machine #testing

Bounded Sequence Testing from Non-deterministic Finite State Machines (FI), pp. 55–70.

TestCom-2006-RosiereJP #testing

LaTe, a Non-fully Deterministic Testing Language (EdR, CJ, BP), pp. 71–86.

TestCom-2006-DiazNR #probability #testing

Customized Testing for Probabilistic Systems (LFLD, MN, IR), pp. 87–102.

TestCom-2006-KeumKKBC #finite #generative #state machine #testing #using #web #web service

Generating Test Cases for Web Services Using Extended Finite State Machine (CK, SK, IYK, JB, YIC), pp. 103–117.

TestCom-2006-BenharrefDGS #generative #network #testing #towards #web #web service

Towards the Testing of Composed Web Services in 3rd Generation Networks (AB, RD, RHG, MAS), pp. 118–133.

TestCom-2006-CavalliMMMQ #case study #generative #industrial #testing #tool support

Application of Two Test Generation Tools to an Industrial Case Study (ARC, SM, WM, MM, YMQ), pp. 134–148.

TestCom-2006-CsorbaPDC #analysis #concurrent #performance

Performance Analysis of Concurrent PCOs in TTCN-3 (MJC, SP, SD, GC), pp. 149–160.

TestCom-2006-Nyberg #testing #using

Use of TTCN-3 for Software Module Testing (AJN), pp. 161–176.

TestCom-2006-DinTS #distributed #testing

Distributed Load Tests with TTCN-3 (GD, ST, IS), pp. 177–196.

TestCom-2006-SubramaniamP #protocol #testing

Analyzing the Impact of Protocol Changes on Tests (MS, ZP), pp. 197–212.

TestCom-2006-ChenU #detection #distributed #problem #testing

Detecting Observability Problems in Distributed Testing (JC, HU), pp. 213–226.

TestCom-2006-GotzheinK #communication #composition #testing

Compositional Testing of Communication Systems (RG, FK), pp. 227–244.

TestCom-2006-El-FakihPY #automaton

FSM Test Translation Through Context (KEF, AP, NY), pp. 245–258.

TestCom-2006-YalcinY #sequence #using

Using Distinguishing and UIO Sequences Together in a Checking Sequence (MCY, HY), pp. 259–273.

TestCom-2006-UralZ #sequence

Reducing the Lengths of Checking Sequences by Overlapping (HU, FZ), pp. 274–288.

TestCom-2006-BerradaCFS #bound #realtime #testing #using

Test Case Minimization for Real-Time Systems Using Timed Bound Traces (IB, RC, PF, AS), pp. 289–305.

TestCom-2006-BouazizK #on the fly #realtime #testing

Symbolic and on the Fly Testing with Real-Time Observers (RB, OK), pp. 306–323.

TestCom-2006-WangWYST #communication #realtime #testing #using

Using Timed TTCN-3 in Interoperability Testing for Real-Time Communication Systems (ZW, JW, XY, XS, BT), pp. 324–340.

TestCom-2006-DarmaillacqFGMR #generative #network #security #testing

Test Generation for Network Security Rules (VD, JCF, RG, LM, JLR), pp. 341–356.

TestCom-2006-ShuL #monitoring #protocol #security #testing

Message Confidentiality Testing of Security Protocols — Passive Monitoring and Active Checking (GS, DL), pp. 357–372.