Proceedings of the 14th International Conference on Testing Communicating Systems: Applications to Internet Technologies and Services
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

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.

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

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–?.

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.