Proceedings of the Fourth International Workshop on Protocol Test Systems
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

TEST
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.