Alexandre Petrenko, Nina Yevtushenko
Proceedings of the 11th International Workshop on Testing Communicating Systems
IWTCS, 1998.

@proceedings{IWTCS-1998,
	address       = "Tomsk, Russia",
	editor        = "Alexandre Petrenko and Nina Yevtushenko",
	isbn          = "0-412-84430-3",
	publisher     = "{Kluwer}",
	series        = "{IFIP Conference Proceedings}",
	title         = "{Proceedings of the 11th International Workshop on Testing Communicating Systems}",
	volume        = 131,
	year          = 1998,
}

Contents (21 items)

18 ×#testing
6 ×#generative
5 ×#protocol
3 ×#consistency
2 ×#automaton
2 ×#distributed
2 ×#multi
2 ×#state of the art
2 ×#using

IWTCS-1998-Grunsky #automaton #testing

Testing of Automata: From Experiments to Representations by Means of Fragments (ISG), pp. 3–14.

IWTCS-1998-GuiagoussouK #network #testing

TMN and Telecommunication Networks Testing (MG, MK), pp. 17–34.

IWTCS-1998-Gecse #consistency #hypermedia #internet #protocol #testing

Conformance Testing Methodology of Internet Protocols Internet Application-Layer Protocol Testing — the Hypertext Transfer Protocol (RG), pp. 35–48.

IWTCS-1998-OgishiIKS #exception #protocol

Intelligent Protocol Analyzer for WWW Server Accesses with Exception Handling Function (TO, AI, TK, KS), pp. 49–64.

IWTCS-1998-BrinksmaHT #generative #multi #testing

Factorized Test Generation for Multi-Input/Output Transition Systems (EB, LH, JT), pp. 67–82.

IWTCS-1998-TanP #automaton #generative #specification #testing

Test Generation for Specifications Modeled by Input/Output Automata (QMT, AP), pp. 83–100.

IWTCS-1998-Boroday #finite #nondeterminism #state machine #testing

Distinguishing Tests for Nondeterministic Finite State Machines (SB), pp. 101–108.

IWTCS-1998-ZhuVC #embedded #evaluation #test coverage #testing

Evaluation of Test Coverage for Embedded System Testing (JZ, STV, STC), pp. 111–126.

IWTCS-1998-YevtushenkoCL #testing

Test Suite Minimization for Testing in Context (NY, ARC, LAPLJ), pp. 127–146.

IWTCS-1998-WalterSG #architecture #distributed #state of the art

Test Architectures for Distributed Systems: State of the Art and Beyond (TW, IS, JG), pp. 149–174.

IWTCS-1998-PetrenkoUC #concurrent #detection #fault #using

Using Partial-Orders for Detecting Faults in Concurrent Systems (AP, AU, VC), pp. 175–190.

IWTCS-1998-FeijsMMW #consistency #multi #testing #using

Conformance Testing of a Multimedia System Using PHACT (LMGF, FACM, JRM, JvW), pp. 193–210.

IWTCS-1998-KahloucheVZ #automation #empirical #execution #generative #industrial #protocol #testing

An Industrial Experiment in Automatic Generation of Executable Test Suites for a Cache Coherency Protocol (HK, CV, MZ), pp. 211–226.

IWTCS-1998-SchmittEKGH #generative #named #testing

Autolink — Putting SDL-Based Test Generation Into Practice (MSI, AE, BK, JG, DH), pp. 227–244.

IWTCS-1998-DietrichLKH #distributed #logic #testing

Testing Temporal Logic Properties in Distributed Systems (FD, XL, SK, JPH), pp. 247–258.

IWTCS-1998-Anlauf #programming #testing

Programming Service Tests with TTCN (MA), pp. 259–274.

IWTCS-1998-BourhfirDAR #consistency #generative #incremental #protocol #testing

A Guided Incremental Test Case Generation Procedure for Conformance Testing for CEFSM Specified Protocols (CB, RD, EMA, NR), pp. 275–290.

IWTCS-1998-Ek #generative #state of the art #testing

Testing and Test Generation: State of the Art and Future Expectations (AE), pp. 293–306.

IWTCS-1998-ShinK #protocol #testing

Interoperability Test Suite Derivation for the ATM/B-ISDN Signaling Protocol (JS, SK), pp. 307–326.

IWTCS-1998-DesrochesLPRSV #case study #experience #migration #testing

Test Suite Migration Experiences for B-ISUP and B-MTP (CD, ML, SP, AR, IS, TVG), pp. 327–342.

IWTCS-1998-BaumgartenW #testing

Qualitative Notions of Testability (BB, HW), pp. 345–360.