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

Invited Papers

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

Theoretical Foundations

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

Conformance Testing Issues

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

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
Thomas Walter, Bernhard Plattner: An Operational Semantics for Concurrent TTCN. 131-143

Panel Discussion on Interoperability Testing

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

Panel Discussion on Test Coverage and Testability

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

Test Selection - LOTOS

Tomás Robles, José A. Mañas, Gabriel Huecas: Specification and Derivation of OSI Conformance Test Suites. 177-188
Stan P. van de Burgt, Jan Kroon, A. M. Peeters: Interactive Test Generation from LOTOS Specifications. 189-203
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

Test Selection and Optimisation

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

Multi-Party Tesing Experience

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

Panel Discussion on GSM Testing Issues

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

Test Selection - Nondeterminism

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

Overview of Tool Demonstrations

Overview of Tool Demonstrations. 323-332

Last update Sun May 19 23:29:11 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page