4. IWPTS 1991:
Leidschendam,
The Netherlands
Jan Kroon, Rudolf Jan Heijink, Ed Brinksma (Eds.):
Protocol Test Systems, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems, Leidschendam, The Netherlands, 15-17 October, 1991.
IFIP Transactions C-3 North-Holland 1992, ISBN 0-444-89517-5 BibTeX
@proceedings{DBLP:conf/pts/1991,
editor = {Jan Kroon and
Rudolf Jan Heijink and
Ed Brinksma},
title = {Protocol Test Systems, IV, Proceedings of the IFIP TC6/WG6.1
Fourth International Workshop on Protocol Test Systems, Leidschendam,
The Netherlands, 15-17 October, 1991},
booktitle = {Protocol Test Systems},
publisher = {North-Holland},
series = {IFIP Transactions},
volume = {C-3},
year = {1992},
isbn = {0-444-89517-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Papers
Selected Papers
- Hans van Dam, Hans Kloosterman, Erik Kwast:
Text Derivation for Standardised Test Methods.
69-82 BibTeX
- Alexandre Petrenko:
Checking Experiments with Protocol Machines.
83-94 BibTeX
- Noriyasu Arakawa, Terunao Soneoka:
A Test Case Generation Method for Concurrent Programs.
95-106 BibTeX
- M. E. van der Haven, M. G. L. Kockelmans, E. J. Slotboom:
Real Effects Testing of OSI Applications.
107-117 BibTeX
- Chan Sheng He, Hua-Xin Zeng, F. Liu:
A Bench Mark on the Design of Ferry Based Test Systems.
119-130 BibTeX
- Jan Tretmans, Pim Kars, Ed Brinksma:
Protocol Conformance Testing: A Formal Perspective on ISO IS-9646.
131-142 BibTeX
- Cecilia Corbi, Giuseppe Sisto:
Common Abstract Test Suite for the Connection Oriented Presentation Protocol Embedded Under Different Application Contexts.
143-149 BibTeX
- G. W. Cowin:
Experiences in Developing a Test Suite Structure and Test Purposes Document for Open Systems.
151-162 BibTeX
- R. J. Helwerda:
Results of the CTS-2 ISDN Basic Access Project.
163-177 BibTeX
- Michel Hordies, Serge Simonet:
OPEN ITS: An Advanced Concept of an Open Test Environment for the Testing of OSI-based Products.
179-193 BibTeX
- Martin Dubuc, Rachida Dssouli, Gregor von Bochmann:
TESTL: An Environment for Incremental Test Suite Design Based on Finite-State Models.
195-206 BibTeX
- Fumiako Sato, Hirosato Tsuji, Kotaro Katsuyama, Tadanori Mizuno:
Parameter Specification Language and Test Data Generation Tools for Communication Software Testing.
207-218 BibTeX
- E. Guarene, P. Marchese:
Advanced Testing Tools For Intelligent Network.
219-230 BibTeX
- Roelof Jan Velthuys, Georg Zörntlein:
Relating Events for Conformance Testing - a Pragmatic Approach.
231-253 BibTeX
- Samuel T. Chanson, Qin Li:
On Static and Dynamic Test Case Selections in Protocol Confomance Testing.
255-266 BibTeX
- Susumu Fujiwara, Gregor von Bochmann:
Testing Non-Deterministic State Machines with Fault Coverage.
267-280 BibTeX
Workshop Sessions
Copyright © Sat May 16 23:35:27 2009
by Michael Ley (ley@uni-trier.de)