Ferhat Khendek, Rachida Dssouli
Proceedings of the 17th International Conference on Testing of Communicating Systems
TestCom, 2005.

@proceedings{TestCom-2005,
	address       = "Montreal, Canada",
	editor        = "Ferhat Khendek and Rachida Dssouli",
	isbn          = "3-540-26054-4",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 17th International Conference on Testing of Communicating Systems}",
	volume        = 3502,
	year          = 2005,
}

Contents (25 items)

19 ×#testing
4 ×#modelling
4 ×#using
3 ×#approach
3 ×#consistency
3 ×#detection
3 ×#fault
2 ×#communication
2 ×#framework
2 ×#multi

TestCom-2005-Maibaum #testing #validation #verification

The Epistemology of Validation and Verification Testing (TSEM), pp. 1–8.

TestCom-2005-LadaniAC #approach #invariant #testing

Passive Testing — A Constrained Invariant Checking Approach (BTL, BA, ARC), pp. 9–22.

TestCom-2005-HongU #data flow #dependence #testing

Dependence Testing: Extending Data Flow Testing with Control Dependence (HSH, HU), pp. 23–39.

TestCom-2005-WagnerJKT #debugging #testing #tool support

Comparing Bug Finding Tools with Reviews and Tests (SW, JJ, CK, PT), pp. 40–55.

TestCom-2005-PuderW #functional #middleware #testing

Cross-Language Functional Testing for Middleware (AP, LW), pp. 56–68.

TestCom-2005-LiL #anti #diagrams #thread #uml #using

Using Anti-Ant-like Agents to Generate Test Threads from the UML Diagrams (HL, CPL), pp. 69–80.

TestCom-2005-BijlRT #consistency #refinement #testing

Action Refinement in Conformance Testing (MvdB, AR, JT), pp. 81–96.

TestCom-2005-CampbellVHP #multi #order

Multiplexing of Partially Ordered Events (CC, MV, JH, AP), pp. 97–110.

TestCom-2005-BerradaCF #communication #testing

Testing Communicating Systems: a Model, a Methodology, and a Tool (IB, RC, PF), pp. 111–128.

TestCom-2005-MillerCLH #network #nondeterminism #protocol #testing

Coping with Nondeterminism in Network Protocol Testing (REM, DC, DL, RH), pp. 129–145.

TestCom-2005-ChenHUY #sequence #testing

Eliminating Redundant Tests in a Checking Sequence (JC, RMH, HU, HY), pp. 146–158.

TestCom-2005-PapCD #fault #on the

On FSM-Based Fault Diagnosis (ZP, GC, SD), pp. 159–174.

TestCom-2005-KrichenT #automaton #identification #problem

State Identification Problems for Timed Automata (MK, ST), pp. 175–191.

TestCom-2005-UyarWBWF #fault #modelling #multi

Timing Fault Models for Systems with Multiple Timers (MÜU, YW, SSB, AW, MAF), pp. 192–208.

TestCom-2005-KrichenT05a #framework #realtime #testing

An Expressive and Implementable Formal Framework for Testing Real-Time Systems (MK, ST), pp. 209–225.

TestCom-2005-SennBC #consistency #testing

Firewall Conformance Testing (DS, DAB, GC), pp. 226–241.

TestCom-2005-ChiH #communication #detection #generative #interactive #testing

Test Generation for Interaction Detection in Feature-Rich Communication Systems (CC, RH), pp. 242–257.

TestCom-2005-LiL05a #algorithm #detection #fault #network #probability #testing

Fault Detection of Hierarchical Networks with Probabilistic Testing Algorithms (KL, DL), pp. 258–274.

TestCom-2005-LeeJL #analysis #detection #smarttech #using

Detecting Trapdoors in Smart Cards Using Timing and Power Analysis (JYL, SWJ, JL), pp. 275–288.

TestCom-2005-ZanderDSD #approach #execution #modelling #testing

From U2TP Models to Executable Tests with TTCN-3 — An Approach to Model Driven Testing (JZ, ZRD, IS, GD), pp. 289–303.

TestCom-2005-BatoriA #framework #independence #modelling #platform #testing #using

Using TTCN-3 for Testing Platform Independent Models (GB, DA), pp. 304–317.

TestCom-2005-FlochRSV #empirical #lessons learnt #testing #using

Some Lessons from an Experiment Using TTCN-3 for the RIPng Testing (AF, FR, AS, CV), pp. 318–332.

TestCom-2005-FernandezMP #approach #modelling #robust #testing

A Model-Based Approach for Robustness Testing (JCF, LM, CP), pp. 333–348.

TestCom-2005-KulvatunyouIJ #case study #consistency #testing

Content-Level Conformance Testing: An Information Mapping Case Study (BK, NI, ATJ), pp. 349–364.

TestCom-2005-DesmoulinV #testing

Quiescence Management Improves Interoperability Testing (AD, CV), pp. 365–379.