Gregor von Bochmann, Rachida Dssouli, Anindya Das
Proceedings of the Fifth International Workshop on Protocol Test Systems
IWPTS, 1992.

@proceedings{IWPTS-1992,
	address       = "Montreal, Quebec, Canada",
	editor        = "Gregor von Bochmann and Rachida Dssouli and Anindya Das",
	isbn          = "0-444-89980-4",
	publisher     = "{North-Holland}",
	series        = "{IFIP Transactions}",
	title         = "{Proceedings of the Fifth International Workshop on Protocol Test Systems}",
	volume        = "C-11",
	year          = 1992,
}

Contents (28 items)

19 ×#testing
9 ×#consistency
4 ×#generative
4 ×#nondeterminism
4 ×#protocol
4 ×#specification
3 ×#finite
3 ×#on the
2 ×#automation
2 ×#fault

IWPTS-1992-Koblentz #performance #testing

Issues in Testing Fast Packet Services over the Broadband ISDN (MK), pp. 3–18.

IWPTS-1992-Briere #testing

Testing in Practice — OSI Test Center (MHLB), pp. 19–29.

IWPTS-1992-Gaudel #data type #specification #testing

Test Selection Based on ADT Specifications (MCG), pp. 31–40.

IWPTS-1992-Phalippou #power of #testing

The Limited Power of Testing (MP), pp. 43–54.

IWPTS-1992-VerhaardTKB #on the #testing

On Asynchronous Testing (LV, JT, PK, EB), pp. 55–66.

IWPTS-1992-DriraASC #consistency #detection #fault #testing

Characterizing and Ordering Errors Detected by Conformance Testing (KD, PA, BS, AMC), pp. 67–78.

IWPTS-1992-ChansonL #consistency #on the #testing

On Inconclusive Verdict in Conformance Testing (STC, QL), pp. 81–92.

IWPTS-1992-McAllisterVA #automation #metric #test coverage #testing

Automated Test Case Selection Based on Test Coverage Metrics (MM, STV, JAC), pp. 93–104.

IWPTS-1992-GhedamsiDB #fault #finite #nondeterminism #state machine #testing

Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite State Machines (AG, RD, GvB), pp. 105–116.

IWPTS-1992-ConcettoMMZ #approach

An Approach to the Test of an ATM Based Signalling Application (MDC, GM, EM, FZ), pp. 119–130.

IWPTS-1992-WalterP #concurrent #semantics

An Operational Semantics for Concurrent TTCN (TW, BP), pp. 131–143.

IWPTS-1992-Dwyer

The Silence of the LANs (DJD), pp. 147–157.

IWPTS-1992-Davidson #testing

Position Paper on Interoperability Testing (ICD), pp. 161–162.

IWPTS-1992-BlikV #towards

The Way Towards Interoperability (HB, GV), pp. 163–164.

IWPTS-1992-Sherman #on the #testing

On Interoperability Testing (PS), pp. 165–166.

IWPTS-1992-RoblesMH #consistency #specification #testing

Specification and Derivation of OSI Conformance Test Suites (TR, JAM, GH), pp. 177–188.

IWPTS-1992-BurgtKP #generative #interactive #specification #testing

Interactive Test Generation from LOTOS Specifications (SPvdB, JK, AMP), pp. 189–203.

IWPTS-1992-HigashinoBLYT #parametricity #strict

Test System for a Restricted Class of LOTOS Expressions with Data Parameters (TH, GvB, XL, KY, KT), pp. 205–216.

IWPTS-1992-ChungS #generative #performance #protocol #testing

Applications of Sufficient Conditions for Efficient Protocol Test Generation (AC, DPS), pp. 219–228.

IWPTS-1992-LidongJL #consistency #multi #optimisation #sequence #testing

A Further Optimization Technique for Conformance Testing Based on Multiple UIO Sequences (ZL, LJ, HL), pp. 229–235.

IWPTS-1992-CavalliMK #automation #consistency #formal method #generative #protocol #specification #testing

Automated Protocol Conformance Test Generation Based on Formal Methods for LOTOS Specifications (ARC, PM, SUK), pp. 237–248.

IWPTS-1992-TangLF #consistency #multi

The IS-IS Multi-Party Conformance Test System (DT, JL, JPF), pp. 251–262.

IWPTS-1992-KosterD #consistency #mobile #network #testing

ISO Conformance Testing of the GSM Mobile Network System (RK, MD), pp. 263–273.

IWPTS-1992-WittemanWB #behaviour #nondeterminism

Non-Deterministic and Default Behaviour (MFW, RCvW, SRB), pp. 275–288.

IWPTS-1992-Koster #consistency #problem #protocol #testing

Problems and Difficulties with GSM Protocol Conformance Testing (RK), p. 291.

IWPTS-1992-Witteman #consistency #experience #protocol

Promoting the Local Test Method, GSM Protocol Conformance Test Experience (MFW), pp. 292–294.

IWPTS-1992-Kloosterman #finite #nondeterminism #state machine

Test Derivation from Non-Deterministic Finite State Machines (HK), pp. 297–308.

IWPTS-1992-TripathyN #adaptation #finite #generative #modelling #nondeterminism #testing

Generation of Adaptive Test Cases from Nondeterministic Finite State Models (PT, KN), pp. 309–320.