6. IWPTS 1993: Pau, France

Omar Rafiq (Ed.): Protocol Test Systems, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems, Pau, France, 28-30 September, 1993. IFIP Transactions C-19 North-Holland 1994, ISBN 0-444-81697-6 BibTeX

@proceedings{DBLP:conf/pts/1993,
  editor    = {Omar Rafiq},
  title     = {Protocol Test Systems, VI, Proceedings of the IFIP TC6/WG6.1
               Sixth International Workshop on Protocol Test systems, Pau, France,
               28-30 September, 1993},
  booktitle = {Protocol Test Systems},
  publisher = {North-Holland},
  series    = {IFIP Transactions},
  volume    = {C-19},
  year      = {1994},
  isbn      = {0-444-81697-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Paper 1

Ana R. Cavalli, Jean Philippe Favreau, Marc Phalippou: Formal Methods for Conformance Testing: Results and Perspectives. 3-17 BibTeX

Session 1 - Test Generation and Coverage

Howard E. Motteler, Anthony Chung, Deepinder P. Sidhu: Fault Coverage of UIO-based Methods for Protocol Testing. 21-34 BibTeX
Marc Phalippou: Executable Testers. 35-50 BibTeX
Gang Luo, Anindya Das, Gregor von Bochmann: Generating Tests for Control Portion of SDL Specifications. 51-66 BibTeX
Olaf Henniger, Behçet Sarikaya, Steve Biedlingmaier: Test Suite Generation for Application Layer Protocols from Formal Specifications in Estelle. 67-85 BibTeX

Tutorial

Son T. Vuong, Antonio Alfredo Ferreira Loureiro, Samuel T. Chanson: A Framework for the Design for Testability of Communication Protocols. 89-108 BibTeX

Session 2 - Testability and Architecture

Alexandre Petrenko, Rachida Dssouli, Hartmut König: On Evaluation of Testability of Protocol Structures. 111-124 BibTeX
Marc F. Witteman, Ronald C. van Wuijtswinkel: ATM Broadband Network Testing Using the Ferry Principle. 125-138 BibTeX
Gang Luo, Rachida Dssouli, Gregor von Bochmann, Pallapa Venkataram, Abderrazak Ghedamsi: Generating Synchronizable Test Sequences Based on Finite State Machine with Distributed Ports. 139-153 BibTeX

Invited Paper 2

Alexandre Petrenko, Gregor von Bochmann, Rachida Dssouli: Conformance Relations and Test Derivation. 157-178 BibTeX

Session 3 - Industrial Reports and Tools

Anders Ek, Jan Ellsberger, Anthony Wiles: Experiences with Computer Aided Test Suite Generation. 181-196 BibTeX
Pramod Kalyanasundaram, Paul D. Amer: Protocol Test Case Visualization. 197-214 BibTeX
Samuel T. Chanson, Hendra Dany, Myungchul Kim, Qin Li, Ying Lu, Son T. Vuong, Sijian Zhang, Limin Zhou, Jinsong Zhu: The UBC Protocol Testing Environment. 215-230 BibTeX
Ari Ahtiainen, Bruno Chatras, Marc W. A. Hornbeek, Sami Kesti: Experiences with Octopus Automated TTCN Translation Tools Applied to GSM/SS7. 231-253 BibTeX

Invited Paper 3

Jan Tretmans: A Formal Approach to Conformance Testing. 257-276 BibTeX

Session 4 - Test Generation

Andreas Ulrich, Hartmut König: Test Derivation from LOTOS Using Structure Information. 279-293 BibTeX

Invited Paper 5

Khalil Drira: The Refusal Graph: a Tradeoff between Verification and Test. 297-312 BibTeX

Session 5 - Interoperability and Nondeterminism

Gert Vermeer, Hans Blik: Interoperability Testing: Basis for the Acceptance of Communication Systems. 315-330 BibTeX
Richard Castanet, Ousmane Koné: Deriving Coordinated Testers for Interoperability. 331-346 BibTeX
Mohammed Ghriga, Phyllis G. Frankl: Adaptive Testing of Non-Deterministic Communication Protocols. 347-362 BibTeX
Alexandre Petrenko, Nina Yevtushenko, Alexandre Lebedev, Anindya Das: Nondeterministic State Machines in Protocol Conformance Testing. 363-378 BibTeX