C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Protocol Test Systems
1991
1992
1993
1994
1991
1994
Keyphrases
Publications
1994
Protocol Test Systems, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems, Pau, France, 28-30 September, 1993
Protocol Test Systems
(1994)
1993
Ana R. Cavalli
,
Jean Philippe Favreau
,
Marc Phalippou
Formal Methods for Conformance Testing: Results and Perspectives.
Protocol Test Systems
(1993)
Anders Ek
,
Jan Ellsberger
,
Anthony Wiles
Experiences with Computer Aided Test Suite Generation.
Protocol Test Systems
(1993)
Marc F. Witteman
,
Ronald C. van Wuijtswinkel
ATM Broadband Network Testing Using the Ferry Principle.
Protocol Test Systems
(1993)
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
Protocol Test Systems
(1993)
Olaf Henniger
,
Behçet Sarikaya
,
Steve Biedlingmaier
Test Suite Generation for Application Layer Protocols from Formal Specifications in Estelle.
Protocol Test Systems
(1993)
Alexandre Petrenko
,
Nina Yevtushenko
,
Alexandre Lebedev
,
Anindya Das
Nondeterministic State Machines in Protocol Conformance Testing.
Protocol Test Systems
(1993)
Richard Castanet
,
Ousmane Koné
Deriving Coordinated Testers for Interoperability.
Protocol Test Systems
(1993)
Howard E. Motteler
,
Anthony Chung
,
Deepinder P. Sidhu
Fault Coverage of UIO-based Methods for Protocol Testing.
Protocol Test Systems
(1993)
Mohammed Ghriga
,
Phyllis G. Frankl
Adaptive Testing of Non-Deterministic Communication Protocols.
Protocol Test Systems
(1993)
Jan Tretmans
A Formal Approach to Conformance Testing.
Protocol Test Systems
(1993)
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)
Andreas Ulrich
,
Hartmut König
Test Derivation from LOTOS Using Structure Information.
Protocol Test Systems
(1993)
Khalil Drira
The Refusal Graph: a Tradeoff between Verification and Test.
Protocol Test Systems
(1993)
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)
Gang Luo
,
Anindya Das
,
Gregor von Bochmann
Generating Tests for Control Portion of SDL Specifications.
Protocol Test Systems
(1993)
Marc Phalippou
Executable Testers.
Protocol Test Systems
(1993)
Pramod Kalyanasundaram
,
Paul D. Amer
Protocol Test Case Visualization.
Protocol Test Systems
(1993)
Alexandre Petrenko
,
Rachida Dssouli
,
Hartmut König
On Evaluation of Testability of Protocol Structures.
Protocol Test Systems
(1993)
Alexandre Petrenko
,
Gregor von Bochmann
,
Rachida Dssouli
Conformance Relations and Test Derivation.
Protocol Test Systems
(1993)
Gert Vermeer
,
Hans Blik
Interoperability Testing: Basis for the Acceptance of Communication Systems.
Protocol Test Systems
(1993)
Son T. Vuong
,
Antonio Alfredo Ferreira Loureiro
,
Samuel T. Chanson
A Framework for the Design for Testability of Communication Protocols.
Protocol Test Systems
(1993)
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)
1992
Robert L. Probert
Summary of Panel Presentations and Discussion.
Protocol Test Systems
(1992)
Abderrazak Ghedamsi
,
Rachida Dssouli
,
Gregor von Bochmann
Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite State Machines.
Protocol Test Systems
(1992)
Tomás Robles
,
José A. Mañas
,
Gabriel Huecas
Specification and Derivation of OSI Conformance Test Suites.
Protocol Test Systems
(1992)
Piyu Tripathy
,
Kshirasagar Naik
Generation of Adaptive Test Cases from Nondeterministic Finite State Models.
Protocol Test Systems
(1992)
Louis Verhaard
,
Jan Tretmans
,
Pim Kars
,
Ed Brinksma
On Asynchronous Testing.
Protocol Test Systems
(1992)
Hans Kloosterman
Test Derivation from Non-Deterministic Finite State Machines.
Protocol Test Systems
(1992)
Stan P. van de Burgt
,
Jan Kroon
,
A. M. Peeters
Interactive Test Generation from LOTOS Specifications.
Protocol Test Systems
(1992)
Khalil Drira
,
Pierre Azéma
,
B. Soulas
,
A. M. Chemali
Characterizing and Ordering Errors Detected by Conformance Testing.
Protocol Test Systems
(1992)
Rüdiger Köster
,
Markus Dicks
ISO Conformance Testing of the GSM Mobile Network System.
Protocol Test Systems
(1992)
Hans Blik
,
Gert Vermeer
The Way Towards Interoperability.
Protocol Test Systems
(1992)
Marc Phalippou
The Limited Power of Testing.
Protocol Test Systems
(1992)
Jean Philippe Favreau
Interoperability Testing Panel Minutes.
Protocol Test Systems
(1992)
Rüdiger Köster
Problems and Difficulties with GSM Protocol Conformance Testing.
Protocol Test Systems
(1992)
M. McAllister
,
Son T. Vuong
,
Jadranka Alilovic-Curgus
Automated Test Case Selection Based on Test Coverage Metrics.
Protocol Test Systems
(1992)
Debra Tang
,
Jinsheng Liu
,
Jean Philippe Favreau
The IS-IS Multi-Party Conformance Test System.
Protocol Test Systems
(1992)
Dermot J. Dwyer
The Silence of the LANs.
Protocol Test Systems
(1992)
Marc F. Witteman
Promoting the Local Test Method, GSM Protocol Conformance Test Experience.
Protocol Test Systems
(1992)
Michael Koblentz
Issues in Testing Fast Packet Services over the Broadband ISDN.
Protocol Test Systems
(1992)
Ana R. Cavalli
,
Patrick Maigron
,
Sung Un Kim
Automated Protocol Conformance Test Generation Based on Formal Methods for LOTOS Specifications.
Protocol Test Systems
(1992)
Protocol Test Systems, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems, Leidschendam, The Netherlands, 15-17 October, 1991
Protocol Test Systems
(1992)
Thomas Walter
,
Bernhard Plattner
An Operational Semantics for Concurrent TTCN.
Protocol Test Systems
(1992)
M. Di Concetto
,
Gennaro Marino
,
E. Merli
,
Fabrizio Zizza
An Approach to the Test of an ATM Based Signalling Application.
Protocol Test Systems
(1992)
Anthony Chung
,
Deepinder P. Sidhu
Applications of Sufficient Conditions for Efficient Protocol Test Generation.
Protocol Test Systems
(1992)
Overview of Tool Demonstrations.
Protocol Test Systems
(1992)
Perry Sherman
On Interoperability Testing.
Protocol Test Systems
(1992)
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)
Zhang Lidong
,
Liu Jiren
,
Huatian Li
A Further Optimization Technique for Conformance Testing Based on Multiple UIO Sequences.
Protocol Test Systems
(1992)