Jan Kroon, Rudolf Jan Heijink, Ed Brinksma
Proceedings of the Fourth International Workshop on Protocol Test Systems
IWPTS, 1991.

@proceedings{IWPTS-1991,
	address       = "Leidschendam, The Netherlands",
	editor        = "Jan Kroon and Rudolf Jan Heijink and Ed Brinksma",
	isbn          = "0-444-89517-5",
	publisher     = "{North-Holland}",
	series        = "{IFIP Transactions}",
	title         = "{Proceedings of the Fourth International Workshop on Protocol Test Systems}",
	volume        = "C-3",
	year          = 1991,
}

Contents (27 items)

17 ×#testing
6 ×#consistency
6 ×#protocol
4 ×#standard
4 ×#tool support
3 ×#generative
3 ×#on the
2 ×#communication
2 ×#design
2 ×#development

IWPTS-1991-FavreauN #lessons learnt #testing

Lessons From the Establishment of U.S. GOSIP Testing Program (JPF, JSN), pp. 3–15.

IWPTS-1991-BochmannDDDGL #fault #modelling #testing

Fault Models in Testing (GvB, AD, RD, MD, AG, GL), pp. 17–30.

IWPTS-1991-VuongA #communication #metric #on the #protocol #test coverage

On Test Coverage Metrics for Communication Protocols (STV, JAC), pp. 31–45.

IWPTS-1991-Rayner #standard

Status Report on ISO/IEC 9646 Standardization and Extension (DR), pp. 47–58.

IWPTS-1991-Hogrefe #consistency #development #on the #standard #testing

On the Development of a Standard for Conformance Testing Based on Formal Specifictations (DH), pp. 59–66.

IWPTS-1991-DamKK #standard

Text Derivation for Standardised Test Methods (HvD, HK, EK), pp. 69–82.

IWPTS-1991-Petrenko #protocol

Checking Experiments with Protocol Machines (AP), pp. 83–94.

IWPTS-1991-ArakawaS #concurrent #generative #source code #testing

A Test Case Generation Method for Concurrent Programs (NA, TS), pp. 95–106.

IWPTS-1991-HavenKS #testing

Real Effects Testing of OSI Applications (MEvdH, MGLK, EJS), pp. 107–117.

IWPTS-1991-HeZL #design

A Bench Mark on the Design of Ferry Based Test Systems (CSH, HXZ, FL), pp. 119–130.

IWPTS-1991-TretmansKB #consistency #formal method #protocol #testing

Protocol Conformance Testing: A Formal Perspective on ISO IS-9646 (JT, PK, EB), pp. 131–142.

IWPTS-1991-CorbiS #embedded #protocol #testing

Common Abstract Test Suite for the Connection Oriented Presentation Protocol Embedded Under Different Application Contexts (CC, GS), pp. 143–149.

IWPTS-1991-Cowin #case study #documentation #experience #testing

Experiences in Developing a Test Suite Structure and Test Purposes Document for Open Systems (GWC), pp. 151–162.

IWPTS-1991-Helwerda

Results of the CTS-2 ISDN Basic Access Project (RJH), pp. 163–177.

IWPTS-1991-HordiesS #concept #testing

OPEN ITS: An Advanced Concept of an Open Test Environment for the Testing of OSI-based Products (MH, SS), pp. 179–193.

IWPTS-1991-DubucDB #design #finite #incremental #modelling #named #testing

TESTL: An Environment for Incremental Test Suite Design Based on Finite-State Models (MD, RD, GvB), pp. 195–206.

IWPTS-1991-SatoTKM #communication #generative #parametricity #specification #testing #tool support

Parameter Specification Language and Test Data Generation Tools for Communication Software Testing (FS, HT, KK, TM), pp. 207–218.

IWPTS-1991-GuareneM #network #testing #tool support

Advanced Testing Tools For Intelligent Network (EG, PM), pp. 219–230.

IWPTS-1991-VelthuysZ #approach #consistency #testing

Relating Events for Conformance Testing — a Pragmatic Approach (RJV, GZ), pp. 231–253.

IWPTS-1991-ChansonL #on the #protocol #testing

On Static and Dynamic Test Case Selections in Protocol Confomance Testing (STC, QL), pp. 255–266.

IWPTS-1991-FujiwaraB #fault #nondeterminism #state machine #testing

Testing Non-Deterministic State Machines with Fault Coverage (SF, GvB), pp. 267–280.

IWPTS-1991-Marchese #development #testing

Session on Test Suite Development (PM), p. 283.

IWPTS-1991-CavalliK #consistency #generative #graph grammar #protocol #term rewriting #testing #using

Protocol Conformance Test Generation Using a Graph Rewriting System (ARC, SUK), pp. 285–288.

IWPTS-1991-Hogrefe91a #consistency #formal method #requirements

Session on Conformance Requirements and Test Purposes in the Context of Formal Methods (DH), pp. 289–290.

IWPTS-1991-Stoettinger #tool support

Session on Equivqlence of Test Tools (KS), pp. 291–293.

IWPTS-1991-Heijnk #compilation

Session on TTCN Compilers (RJH), p. 295.

IWPTS-1991-Berghe #consistency #overview #specification #standard #tool support

Overview of the Standardisation of Conformance Test Specifications and Tools: European Work, Contribution to ISO/CCITT and Worldwide Harmonisation (FvdB), pp. 297–310.