Ina Schieferdecker, Hartmut König, Adam Wolisz
Proceedings of the 14th International Conference on Testing Communicating Systems: Applications to Internet Technologies and Services
TestCom, 2002.

@proceedings{TestCom-2002,
	address       = "Berlin, Germany",
	editor        = "Ina Schieferdecker and Hartmut König and Adam Wolisz",
	isbn          = "0-7923-7695-1",
	publisher     = "{Kluwer}",
	series        = "{IFIP Conference Proceedings}",
	title         = "{Proceedings of the 14th International Conference on Testing Communicating Systems: Applications to Internet Technologies and Services}",
	volume        = 210,
	year          = 2002,
}

Contents (30 items)

17 ×#testing
7 ×#generative
5 ×#automation
4 ×#protocol
2 ×#communication
2 ×#fault
2 ×#flexibility
2 ×#implementation
2 ×#mobile
2 ×#modelling

TestCom-2002-Gehring #testing

Testing of IP Services & Applications in a Service Provider Environment (AG), p. 17–?.

TestCom-2002-OgishiHKS #sequence #specification

A TCP Test System Specifying only Exceptional Packet Sequences (TO, TH, TK, KS), pp. 21–38.

TestCom-2002-Veciana-NoguesCDS #metric #verification

Verifying IP Meters from Sampled Measurements (CVN, ACA, JDP, JSP), pp. 39–54.

TestCom-2002-ParadaCFLC #implementation #testing

Testing IP Differentiated Services Implementations (CP, JC, FF, SRL, PC), p. 55–?.

TestCom-2002-Binder #reliability #ubiquitous

Achieving High Reliability for Ubiquitous Information Technology (RVB), p. 75–?.

TestCom-2002-BrederekeS #automation #flexibility #testing

An Automated, Flexible Testing Environment for UMTS (JB, BHS), pp. 79–94.

TestCom-2002-MarcheQG #mobile #testing

Testing Mobile Agents (MM, YMQ, RG), pp. 95–110.

TestCom-2002-MannCK #testing

Testing Access to External Information Sources in a Mediator Environment (ZÁM, JC, PK), p. 111–?.

TestCom-2002-Kone #protocol

Compliance of Wireless Application Protocols (OK), pp. 129–138.

TestCom-2002-RosslerS #flexibility #generative #performance #testing

A Flexible Traffic Generator for Testing PABX and Call Center Performance (GR, TS), p. 139–?.

TestCom-2002-SeolKC #communication #generative #multi #principle #protocol #testing

Interoperability Test Generation for Communication Protocols based on Multiple Stimuli Principle (SS, MK, STC), pp. 151–168.

TestCom-2002-BesseCKZ #automation #generative #testing

Automated Generation of Interoperability Tests (CB, ARC, MK, FZ), p. 169–?.

TestCom-2002-Ahtiainen #formal method #mobile #protocol #testing

Applying Formal Method in Mobile Protocol Testing (AA), p. 187–?.

TestCom-2002-Szabo #case study #development #experience

Experiences of TTCN-3 Test Executor Development (JZS), pp. 191–200.

TestCom-2002-Sachse #testing

Position Statement: Making TTCN-3 testing a success (WS), pp. 201–208.

TestCom-2002-HeikkilaTV #automation #generative #testing

Position Statement: Testing Automation with Computer Aided Test Case Generation (TH, PT, JV), p. 209–?.

TestCom-2002-VriesBF #automation #testing

Automated Testing in Practice: The Highway Tolling System (RGdV, AB, JF), pp. 219–234.

TestCom-2002-Horvath #ad hoc #automation #generative #modelling #protocol #testing #validation

Ad-hoc Protocol Modelling, Validation and Automated Test Suite Generation (EH), p. 235–?.

TestCom-2002-CastanetR #analysis #proving #reachability #testing #theorem proving

Generate Certified Test Cases by Combining Theorem Proving and Reachability Analysis (RC, DR), pp. 249–266.

TestCom-2002-FeijsGMT #distance #heuristic #testing

Test Selection, Trace Distance and Heuristics (LMGF, NG, SM, JT), pp. 267–282.

TestCom-2002-WilliamsP #integer #interactive #problem #test coverage

Formulation of the Interaction Test Coverage Problem as an Integer Program (AWW, RLP), p. 283–?.

TestCom-2002-Jard #distributed #modelling #synthesis

Principles of Distributed Test Synthesis based on True-concurrency Models (CJ), pp. 301–316.

TestCom-2002-CavalliPY #communication #component #detection #fault

Fault Detection within a Component of a System of Communicating FSMs (ARC, SP, NY), p. 317–?.

TestCom-2002-Peleska #hardware #integration #product line #testing

Hardware/Software Integration Testing for the new Airbus Aircraft Families (JP), p. 335–?.

TestCom-2002-BorodayPGQ #fault #generative #specification #testing

Test Generation for CEFSM Combining Specification and Fault Coverage (SB, AP, RG, YMQ), pp. 355–372.

TestCom-2002-El-FakihYB

FSM-based Re-Testing Methods (KEF, NY, GvB), pp. 373–390.

TestCom-2002-SerdarT #approach #finite #generative #sequence #state machine

A New Approach To Checking Sequence Generation for Finite State Machines (BS, KCT), p. 391–?.

TestCom-2002-DaiGN #realtime

Timed TTCN-3 — A Real-time Extension for TTCN-3 (ZRD, JG, HN), pp. 407–424.

TestCom-2002-SchulzV #implementation #using

Implementation of TTCN-3 Test Systems using the TRI (SS, TVG), pp. 425–442.

TestCom-2002-EbnerYL

A Definition and Utilization of OMG IDL to TTCN-3 Mappings (ME, AY, ML), p. 443–?.