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

Jean Philippe Favreau, J. Stephen Nightingale: Lessons From the Establishment of U.S. GOSIP Testing Program. 3-15 BibTeX
Gregor von Bochmann, Anindya Das, Rachida Dssouli, Martin Dubuc, Abderrazak Ghedamsi, Gang Luo: Fault Models in Testing. 17-30 BibTeX
Son T. Vuong, Jadranka Alilovic-Curgus: On Test Coverage Metrics for Communication Protocols. 31-45 BibTeX
D. Rayner: Status Report on ISO/IEC 9646 Standardization and Extension. 47-58 BibTeX
Dieter Hogrefe: On the Development of a Standard for Conformance Testing Based on Formal Specifictations. 59-66 BibTeX

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

P. Marchese: Session on Test Suite Development. 283-283 BibTeX
Ana R. Cavalli, Sung Un Kim: Protocol Conformance Test Generation Using a Graph Rewriting System. 285-288 BibTeX
Dieter Hogrefe: Session on Conformance Requirements and Test Purposes in the Context of Formal Methods. 289-290 BibTeX
K. Stoettinger: Session on Equivqlence of Test Tools. 291-293 BibTeX
R. J. Heijnk: Session on TTCN Compilers. 295 BibTeX
F. van den Berghe: Overview of the Standardisation of Conformance Test Specifications and Tools: European Work, Contribution to ISO/CCITT and Worldwide Harmonisation. 297-310 BibTeX