Gyula Csopaki, Sarolta Dibuz, Katalin Tarnay
Proceedings of the 12th International Workshop on Testing Communicating Systems
IWTCS, 1999.

@proceedings{IWTCS-1999,
	editor        = "Gyula Csopaki and Sarolta Dibuz and Katalin Tarnay",
	isbn          = "0-7923-8581-0",
	publisher     = "{Kluwer}",
	series        = "{IFIP Conference Proceedings}",
	title         = "{Proceedings of the 12th International Workshop on Testing Communicating Systems}",
	volume        = 147,
	year          = 1999,
}

Contents (24 items)

18 ×#testing
5 ×#generative
4 ×#automation
4 ×#consistency
3 ×#distributed
3 ×#protocol
2 ×#embedded
2 ×#multi
2 ×#performance
2 ×#tool support

IWTCS-1999-Cavalli #protocol #testing

Different Approaches to Protocol and Service Testing (ARC), pp. 3–18.

IWTCS-1999-GrabowskiH #towards

Towards the Third Edition of TTCN (JG, DH), pp. 19–30.

IWTCS-1999-Willcock #syntax #towards

New Directions in ASN.1: Towards a Formal Notation for Transfer Syntax (CW), pp. 31–42.

IWTCS-1999-BaumgartenH #bound #testing

Testability with Unbounded Testing Strategies (BB, OH), pp. 43–60.

IWTCS-1999-Vassiliou-GiolesSBWL #distributed #execution #testing

Configuration and Execution Support for Distributed Tests (TVG, IS, MB, MW, ML), pp. 61–76.

IWTCS-1999-BenattouCPR #distributed #testing #tool support

Principles and Tools for Testing Open Distributed Systems (MB, LC, RP, OR), pp. 77–92.

IWTCS-1999-UlrichK #architecture #distributed #testing

Architectures for Testing Distributed Systems (AU, HK), pp. 93–108.

IWTCS-1999-Toro #multi #testing

Decision on Tester Configuration for Multiparty Testing (MT), pp. 109–130.

IWTCS-1999-HeT #hardware #testing

Protocol-Inspired Hardware Testing (JH, KJT), pp. 131–148.

IWTCS-1999-GecseK #algorithm #automation

Automated Test of TCP Congestion Control Algorithms (RG, PK), pp. 149–166.

IWTCS-1999-Hollenberg #generative #testing

Test Templates for Test Generation (MH), pp. 167–178.

IWTCS-1999-BelinfanteFVTGFMH #automation #empirical #testing

Formal Test Automation: A Simple Experiment (AB, JF, RGdV, JT, NG, LMGF, SM, LH), pp. 179–196.

IWTCS-1999-HigashinoNTC #automaton #generative #testing

Generating Test Cases for a Timed I/O Automaton Model (TH, AN, KT, ARC), pp. 197–214.

IWTCS-1999-KoufarevaPY #fault #generative #modelling #testing

Test Generation Driven by User-defined Fault Models (IK, AP, NY), pp. 215–236.

IWTCS-1999-YevtushenkoCA #embedded #finite #nondeterminism #state machine #testing

Test Suite Minimization for Embedded Nondeterministic Finite State Machines (NY, ARC, RA), pp. 237–250.

IWTCS-1999-CsondesK #automation #testing

Automated Test Case Selection Based on Subpurposes (TC, BK), pp. 251–266.

IWTCS-1999-ParkKK #consistency #multi #testing

Conformance Testing of Multiprotocol IUTs (YP, MK, SK), pp. 267–286.

IWTCS-1999-MeerV #challenge #verification

The Challenge of QoS Verification (JdM, STV), pp. 287–298.

IWTCS-1999-ProbertW #functional #generative #performance #testing #using

Fast Functional Test Generation Using an SDL Model (RLP, AWW), pp. 299–316.

IWTCS-1999-CsurgayM #design #performance #testing

Performance Testing at Early Design Phases (PC, MM), pp. 317–330.

IWTCS-1999-KangSKHYKSYK #consistency #development #protocol

Development and Application of ATM Protocol Conformance Test System (SK, YS, DK, MH, JY, IK, JS, SY, MK), pp. 331–346.

IWTCS-1999-Frey-PuckoKN #automation #consistency #generative #industrial #testing

Automatic Test Case Generation from the Industrial Point of View: Conformance Testing in IskraTEL (MFP, MKK, RN), pp. 347–362.

IWTCS-1999-ArtychB #concept #consistency #requirements #tool support

External Conformance Requirements: Concepts, Methods and Tools (RA, KMB), pp. 363–378.

IWTCS-1999-LatvakoskiH #communication #embedded #protocol #simulation #testing

Time Simulation Methods for Testing Protocol Software Embedded in Communicating Systems (JL, HH), pp. 379–394.