default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5. IWPTS 1992: Montreal, Quebec, Canada
- Gregor von Bochmann, Rachida Dssouli, Anindya Das:
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. Protocol Test Systems 1992: 3-18 - Michel Haulard La Brière:
Testing in Practice - OSI Test Center. Protocol Test Systems 1992: 19-29 - Marie-Claude Gaudel:
Test Selection Based on ADT Specifications. Protocol Test Systems 1992: 31-40
Theoretical Foundations
- Marc Phalippou:
The Limited Power of Testing. Protocol Test Systems 1992: 43-54 - Louis Verhaard, Jan Tretmans, Pim Kars, Ed Brinksma:
On Asynchronous Testing. Protocol Test Systems 1992: 55-66 - Khalil Drira, Pierre Azéma, B. Soulas, A. M. Chemali:
Characterizing and Ordering Errors Detected by Conformance Testing. Protocol Test Systems 1992: 67-78
Conformance Testing Issues
- Samuel T. Chanson, Qin Li:
On Inconclusive Verdict in Conformance Testing. Protocol Test Systems 1992: 81-92 - M. McAllister, Son T. Vuong, Jadranka Alilovic-Curgus:
Automated Test Case Selection Based on Test Coverage Metrics. Protocol Test Systems 1992: 93-104 - Abderrazak Ghedamsi, Rachida Dssouli, Gregor von Bochmann:
Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite State Machines. Protocol Test Systems 1992: 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. Protocol Test Systems 1992: 119-130 - Thomas Walter, Bernhard Plattner:
An Operational Semantics for Concurrent TTCN. Protocol Test Systems 1992: 131-143
Panel Discussion on Interoperability Testing
- Dermot J. Dwyer:
The Silence of the LANs. Protocol Test Systems 1992: 147-157 - Jean Philippe Favreau:
Interoperability Testing Panel Minutes. Protocol Test Systems 1992: 159-160 - Ian C. Davidson:
Position Paper on Interoperability Testing. Protocol Test Systems 1992: 161-162 - Hans Blik, Gert Vermeer:
The Way Towards Interoperability. Protocol Test Systems 1992: 163-164 - Perry Sherman:
On Interoperability Testing. Protocol Test Systems 1992: 165-166
Panel Discussion on Test Coverage and Testability
- Robert L. Probert:
Summary of Panel Presentations and Discussion. Protocol Test Systems 1992: 169-173
Test Selection - LOTOS
- Tomás Robles, José A. Mañas, Gabriel Huecas:
Specification and Derivation of OSI Conformance Test Suites. Protocol Test Systems 1992: 177-188 - Stan P. van de Burgt, Jan Kroon, A. M. Peeters:
Interactive Test Generation from LOTOS Specifications. Protocol Test Systems 1992: 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. Protocol Test Systems 1992: 205-216
Test Selection and Optimisation
- Anthony Chung, Deepinder P. Sidhu:
Applications of Sufficient Conditions for Efficient Protocol Test Generation. Protocol Test Systems 1992: 219-228 - Zhang Lidong, Liu Jiren, Huatian Li:
A Further Optimization Technique for Conformance Testing Based on Multiple UIO Sequences. Protocol Test Systems 1992: 229-235 - Ana R. Cavalli, Patrick Maigron, Sung Un Kim:
Automated Protocol Conformance Test Generation Based on Formal Methods for LOTOS Specifications. Protocol Test Systems 1992: 237-248
Multi-Party Tesing Experience
- Debra Tang, Jinsheng Liu, Jean Philippe Favreau:
The IS-IS Multi-Party Conformance Test System. Protocol Test Systems 1992: 251-262 - Rüdiger Köster, Markus Dicks:
ISO Conformance Testing of the GSM Mobile Network System. Protocol Test Systems 1992: 263-273 - Marc F. Witteman, Ronald C. van Wuijtswinkel, S. Ruud Berkhout:
Non-Deterministic and Default Behaviour. Protocol Test Systems 1992: 275-288
Panel Discussion on GSM Testing Issues
- Rüdiger Köster:
Problems and Difficulties with GSM Protocol Conformance Testing. Protocol Test Systems 1992: 291 - Marc F. Witteman:
Promoting the Local Test Method, GSM Protocol Conformance Test Experience. Protocol Test Systems 1992: 292-294
Test Selection - Nondeterminism
- Hans Kloosterman:
Test Derivation from Non-Deterministic Finite State Machines. Protocol Test Systems 1992: 297-308 - Piyu Tripathy, Kshirasagar Naik:
Generation of Adaptive Test Cases from Nondeterministic Finite State Models. Protocol Test Systems 1992: 309-320
Overview of Tool Demonstrations
- Overview of Tool Demonstrations. Protocol Test Systems 1992: 323-332
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-15 00:04 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
