default search action
6. IWPTS 1993: Pau, France
- Omar Rafiq:
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
Invited Paper 1
- Ana R. Cavalli, Jean Philippe Favreau, Marc Phalippou:
Formal Methods for Conformance Testing: Results and Perspectives. Protocol Test Systems 1993: 3-17
Session 1 - Test Generation and Coverage
- Howard E. Motteler, Anthony Chung, Deepinder P. Sidhu:
Fault Coverage of UIO-based Methods for Protocol Testing. Protocol Test Systems 1993: 21-34 - Marc Phalippou:
Executable Testers. Protocol Test Systems 1993: 35-50 - Gang Luo, Anindya Das, Gregor von Bochmann:
Generating Tests for Control Portion of SDL Specifications. Protocol Test Systems 1993: 51-66 - Olaf Henniger, Behçet Sarikaya, Steve Biedlingmaier:
Test Suite Generation for Application Layer Protocols from Formal Specifications in Estelle. Protocol Test Systems 1993: 67-85
Tutorial
- Son T. Vuong, Antonio Alfredo Ferreira Loureiro, Samuel T. Chanson:
A Framework for the Design for Testability of Communication Protocols. Protocol Test Systems 1993: 89-108
Session 2 - Testability and Architecture
- Alexandre Petrenko, Rachida Dssouli, Hartmut König:
On Evaluation of Testability of Protocol Structures. Protocol Test Systems 1993: 111-124 - Marc F. Witteman, Ronald C. van Wuijtswinkel:
ATM Broadband Network Testing Using the Ferry Principle. Protocol Test Systems 1993: 125-138 - Gang Luo, Rachida Dssouli, Gregor von Bochmann, Pallapa Venkataram, Abderrazak Ghedamsi:
Generating Synchronizable Test Sequences Based on Finite State Machine with Distributed Ports. Protocol Test Systems 1993: 139-153
Invited Paper 2
- Alexandre Petrenko, Gregor von Bochmann, Rachida Dssouli:
Conformance Relations and Test Derivation. Protocol Test Systems 1993: 157-178
Session 3 - Industrial Reports and Tools
- Anders Ek, Jan Ellsberger, Anthony Wiles:
Experiences with Computer Aided Test Suite Generation. Protocol Test Systems 1993: 181-196 - Pramod Kalyanasundaram, Paul D. Amer:
Protocol Test Case Visualization. Protocol Test Systems 1993: 197-214 - 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. Protocol Test Systems 1993: 215-230 - Ari Ahtiainen, Bruno Chatras, Marc W. A. Hornbeek, Sami Kesti:
Experiences with Octopus Automated TTCN Translation Tools Applied to GSM/SS7. Protocol Test Systems 1993: 231-253
Invited Paper 3
- Jan Tretmans:
A Formal Approach to Conformance Testing. Protocol Test Systems 1993: 257-276
Session 4 - Test Generation
- Andreas Ulrich, Hartmut König:
Test Derivation from LOTOS Using Structure Information. Protocol Test Systems 1993: 279-293
Invited Paper 5
- Khalil Drira:
The Refusal Graph: a Tradeoff between Verification and Test. Protocol Test Systems 1993: 297-312
Session 5 - Interoperability and Nondeterminism
- Gert Vermeer, Hans Blik:
Interoperability Testing: Basis for the Acceptance of Communication Systems. Protocol Test Systems 1993: 315-330 - Richard Castanet, Ousmane Koné:
Deriving Coordinated Testers for Interoperability. Protocol Test Systems 1993: 331-346 - Mohammed Ghriga, Phyllis G. Frankl:
Adaptive Testing of Non-Deterministic Communication Protocols. Protocol Test Systems 1993: 347-362 - Alexandre Petrenko, Nina Yevtushenko, Alexandre Lebedev, Anindya Das:
Nondeterministic State Machines in Protocol Conformance Testing. Protocol Test Systems 1993: 363-378
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 2024-11-25 22:31 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: