Hasan Ural, Robert L. Probert, Gregor von Bochmann
Proceedings of the 13th International Conference on Testing Communicating Systems: Applications to Internet Technologies and Services
TestCom, 2000.

@proceedings{TestCom-2000,
	editor        = "Hasan Ural and Robert L. Probert and Gregor von Bochmann",
	isbn          = "0-7923-7921-7",
	publisher     = "{Kluwer}",
	series        = "{IFIP Conference Proceedings}",
	title         = "{Proceedings of the 13th International Conference on Testing Communicating Systems: Applications to Internet Technologies and Services}",
	volume        = 176,
	year          = 2000,
}

Contents (19 items)

15 ×#testing
3 ×#generative
3 ×#protocol
3 ×#using
2 ×#approach
2 ×#automation
2 ×#design
2 ×#verification

TestCom-2000-JardJM #testing #verification

Verification of Test Suites (CJ, TJ, PM), pp. 3–18.

TestCom-2000-AmyotL

Structural Coverage For LOTOS — a Probe Insertion Technique (DA, LL), pp. 19–34.

TestCom-2000-CavalliPY #communication #detection #fault #power of #testing

Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs (ARC, SP, NY), p. 35–?.

TestCom-2000-Williams #interactive

Determination of Test Configurations for Pair-Wise Interaction Coverage (AWW), pp. 59–74.

TestCom-2000-SchieferdeckerLR #incremental #testing

Incremental Testing at System Reference Points (IS, ML, AR), pp. 75–90.

TestCom-2000-DualeU #generative #modelling #sequence #testing

Generation of Feasible Test Sequences for EFSM Models (AYD, MÜU), p. 91–?.

TestCom-2000-CsondesDK #testing

Experiments on IPv6 Testing (TC, SD, PK), pp. 113–126.

TestCom-2000-RyuKKS #design #generative #testing #using

Interoperability Test Suite Generation for the TCP Data Part Using Experimental Design Techniques (JR, MK, SK, SS), pp. 127–142.

TestCom-2000-KatoOSMIS #testing

Interoperability Testing System of TCP/IP Based Systems in Operational Environment (TK, TO, HS, YM, AI, KS), p. 143–?.

TestCom-2000-GrabowskiWWH #design #on the #testing

On the Design of the New Testing Language TTCN-3 (JG, AW, CW, DH), pp. 161–176.

TestCom-2000-GecseKS #evaluation #performance

HTTP Performance Evaluation with TTCN (RG, PK, JZS), pp. 177–192.

TestCom-2000-MednonogovKMM #consistency #corba #testing #using

Conformance Testing of CORBA Services Using TTCN (AM, HK, OM, JM), p. 193–?.

TestCom-2000-HeerinkFT #automation #protocol #testing

Formal Test Automation: The Conference Protocol with PHACT (LH, JF, JT), pp. 211–220.

TestCom-2000-BousquetRSVBV #automation #protocol #testing

Formal Test Automation: The Conference Protocol with TGV/TORX (LdB, SR, SS, CV, AB, RGdV), pp. 221–228.

TestCom-2000-HorvathM #functional #testing #using

Functional Testing GPRS Support Nodes Using TTCN (EH, AM), pp. 229–238.

TestCom-2000-MaggioreVP #approach #quality

The Test Sub Group (TSG): A Cooperative Approach to Improve the Release Quality before Type Acceptance (GM, SV, JP), p. 239–?.

TestCom-2000-PetrenkoU #concurrent #testing #verification

Verification and Testing of Concurrent Systems with Action Races (AP, AU), pp. 261–280.

TestCom-2000-KhoumsiADEG #approach #protocol #realtime #testing

An Approach for Testing Real Time Protocol Entities (AK, MA, RD, AEN, LG), pp. 281–300.

TestCom-2000-FeckoAUD #generative #testing

Test Generation in the Presence of Conflicting Timers (MAF, PDA, MÜU, AYD), p. 301–?.