Omar Rafiq
Proceedings of the Sixth International Workshop on Protocol Test Systems
IWPTS, 1993.

@proceedings{IWPTS-1993,
	address       = "Pau, France",
	editor        = "Omar Rafiq",
	isbn          = "0-444-81697-6",
	publisher     = "{North-Holland}",
	series        = "{IFIP Transactions}",
	title         = "{Proceedings of the Sixth International Workshop on Protocol Test Systems}",
	volume        = "C-19",
	year          = 1993,
}

Contents (21 items)

15 ×#testing
8 ×#protocol
4 ×#consistency
4 ×#generative
3 ×#communication
2 ×#case study
2 ×#experience
2 ×#formal method
2 ×#nondeterminism
2 ×#specification

IWPTS-1993-CavalliFP #consistency #formal method #testing

Formal Methods for Conformance Testing: Results and Perspectives (ARC, JPF, MP), pp. 3–17.

IWPTS-1993-MottelerCS #fault #protocol #testing

Fault Coverage of UIO-based Methods for Protocol Testing (HEM, AC, DPS), pp. 21–34.

IWPTS-1993-Phalippou #execution

Executable Testers (MP), pp. 35–50.

IWPTS-1993-LuoDB #generative #specification #testing

Generating Tests for Control Portion of SDL Specifications (GL, AD, GvB), pp. 51–66.

IWPTS-1993-HennigerSB #generative #protocol #specification #testing

Test Suite Generation for Application Layer Protocols from Formal Specifications in Estelle (OH, BS, SB), pp. 67–85.

IWPTS-1993-VuongLC #communication #design #framework #protocol #testing

A Framework for the Design for Testability of Communication Protocols (STV, AAFL, STC), pp. 89–108.

IWPTS-1993-PetrenkoDK #evaluation #on the #protocol #testing

On Evaluation of Testability of Protocol Structures (AP, RD, HK), pp. 111–124.

IWPTS-1993-WittemanW #network #principle #testing #using

ATM Broadband Network Testing Using the Ferry Principle (MFW, RCvW), pp. 125–138.

IWPTS-1993-LuoDBVG #distributed #finite #generative #sequence #state machine #testing

Generating Synchronizable Test Sequences Based on Finite State Machine with Distributed Ports (GL, RD, GvB, PV, AG), pp. 139–153.

IWPTS-1993-PetrenkoBD #consistency

Conformance Relations and Test Derivation (AP, GvB, RD), pp. 157–178.

IWPTS-1993-EkEW #case study #experience #generative #testing

Experiences with Computer Aided Test Suite Generation (AE, JE, AW), pp. 181–196.

IWPTS-1993-KalyanasundaramA #protocol #testing #visualisation

Protocol Test Case Visualization (PK, PDA), pp. 197–214.

IWPTS-1993-ChansonDKLLVZZZ #protocol #testing

The UBC Protocol Testing Environment (STC, HD, MK, QL, YL, STV, SZ, LZ, JZ), pp. 215–230.

IWPTS-1993-AhtiainenCHK #automation #case study #experience #tool support

Experiences with Octopus Automated TTCN Translation Tools Applied to GSM/SS7 (AA, BC, MWAH, SK), pp. 231–253.

IWPTS-1993-Tretmans #approach #consistency #formal method #testing

A Formal Approach to Conformance Testing (JT), pp. 257–276.

IWPTS-1993-UlrichK #using

Test Derivation from LOTOS Using Structure Information (AU, HK), pp. 279–293.

IWPTS-1993-Drira #graph #trade-off #verification

The Refusal Graph: a Tradeoff between Verification and Test (KD), pp. 297–312.

IWPTS-1993-VermeerB #communication #testing

Interoperability Testing: Basis for the Acceptance of Communication Systems (GV, HB), pp. 315–330.

IWPTS-1993-CastanetK #coordination

Deriving Coordinated Testers for Interoperability (RC, OK), pp. 331–346.

IWPTS-1993-GhrigaF #adaptation #communication #nondeterminism #protocol #testing

Adaptive Testing of Non-Deterministic Communication Protocols (MG, PGF), pp. 347–362.

IWPTS-1993-PetrenkoYLD #consistency #nondeterminism #protocol #state machine #testing

Nondeterministic State Machines in Protocol Conformance Testing (AP, NY, AL, AD), pp. 363–378.