Proceedings of the 18th International Conference on Testing of Communicating Systems
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

TEST
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.