5. IWPTS 1992: Montreal, Quebec, Canada

Gregor von Bochmann, Rachida Dssouli, Anindya Das (Eds.): Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992. IFIP Transactions C-11 North-Holland 1993, ISBN 0-444-89980-4 BibTeX

@proceedings{DBLP:conf/pts/1992,
  editor    = {Gregor von Bochmann and
               Rachida Dssouli and
               Anindya Das},
  title     = {Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth
               International Workshop on Protocol Test Systems, Montreal, Quebec,
               Canada, 28-30 September, 1992},
  booktitle = {Protocol Test Systems},
  publisher = {North-Holland},
  series    = {IFIP Transactions},
  volume    = {C-11},
  year      = {1993},
  isbn      = {0-444-89980-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

Michael Koblentz: Issues in Testing Fast Packet Services over the Broadband ISDN. 3-18 BibTeX
Michel Haulard La Brière: Testing in Practice - OSI Test Center. 19-29 BibTeX
Marie-Claude Gaudel: Test Selection Based on ADT Specifications. 31-40 BibTeX

Theoretical Foundations

Marc Phalippou: The Limited Power of Testing. 43-54 BibTeX
Louis Verhaard, Jan Tretmans, Pim Kars, Ed Brinksma: On Asynchronous Testing. 55-66 BibTeX
Khalil Drira, Pierre Azéma, B. Soulas, A. M. Chemali: Characterizing and Ordering Errors Detected by Conformance Testing. 67-78 BibTeX

Conformance Testing Issues

Samuel T. Chanson, Qin Li: On Inconclusive Verdict in Conformance Testing. 81-92 BibTeX
M. McAllister, Son T. Vuong, Jadranka Alilovic-Curgus: Automated Test Case Selection Based on Test Coverage Metrics. 93-104 BibTeX
Abderrazak Ghedamsi, Rachida Dssouli, Gregor von Bochmann: Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite State Machines. 105-116 BibTeX

Test Specification Issues

M. Di Concetto, Gennaro Marino, E. Merli, Fabrizio Zizza: An Approach to the Test of an ATM Based Signalling Application. 119-130 BibTeX
Thomas Walter, Bernhard Plattner: An Operational Semantics for Concurrent TTCN. 131-143 BibTeX

Panel Discussion on Interoperability Testing

Dermot J. Dwyer: The Silence of the LANs. 147-157 BibTeX
Jean Philippe Favreau: Interoperability Testing Panel Minutes. 159-160 BibTeX
Ian C. Davidson: Position Paper on Interoperability Testing. 161-162 BibTeX
Hans Blik, Gert Vermeer: The Way Towards Interoperability. 163-164 BibTeX
Perry Sherman: On Interoperability Testing. 165-166 BibTeX

Panel Discussion on Test Coverage and Testability

Robert L. Probert: Summary of Panel Presentations and Discussion. 169-173 BibTeX

Test Selection - LOTOS

Tomás Robles, José A. Mañas, Gabriel Huecas: Specification and Derivation of OSI Conformance Test Suites. 177-188 BibTeX
S. P. van de Burgt, Jan Kroon, A. M. Peeters: Interactive Test Generation from LOTOS Specifications. 189-203 BibTeX
Teruo Higashino, Gregor von Bochmann, Xiangdong Li, Keiichi Yasumoto, Kenichi Taniguchi: Test System for a Restricted Class of LOTOS Expressions with Data Parameters. 205-216 BibTeX

Test Selection and Optimisation

Anthony Chung, Deepinder P. Sidhu: Applications of Sufficient Conditions for Efficient Protocol Test Generation. 219-228 BibTeX
Zhang Lidong, Liu Jiren, Huatian Li: A Further Optimization Technique for Conformance Testing Based on Multiple UIO Sequences. 229-235 BibTeX
Ana R. Cavalli, Patrick Maigron, Sung Un Kim: Automated Protocol Conformance Test Generation Based on Formal Methods for LOTOS Specifications. 237-248 BibTeX

Multi-Party Tesing Experience

Debra Tang, Jinsheng Liu, Jean Philippe Favreau: The IS-IS Multi-Party Conformance Test System. 251-262 BibTeX
Rüdiger Köster, Markus Dicks: ISO Conformance Testing of the GSM Mobile Network System. 263-273 BibTeX
Marc F. Witteman, Ronald C. van Wuijtswinkel, S. Ruud Berkhout: Non-Deterministic and Default Behaviour. 275-288 BibTeX

Panel Discussion on GSM Testing Issues

Rüdiger Köster: Problems and Difficulties with GSM Protocol Conformance Testing. 291 BibTeX
Marc F. Witteman: Promoting the Local Test Method, GSM Protocol Conformance Test Experience. 292-294 BibTeX

Test Selection - Nondeterminism

Hans Kloosterman: Test Derivation from Non-Deterministic Finite State Machines. 297-308 BibTeX
Piyu Tripathy, Kshirasagar Naik: Generation of Adaptive Test Cases from Nondeterministic Finite State Models. 309-320 BibTeX

Overview of Tool Demonstrations

Overview of Tool Demonstrations. 323-332 BibTeX