Abstract is missing.
- Formal Methods for Conformance Testing: Results and PerspectivesAna R. Cavalli, Jean Philippe Favreau, Marc Phalippou. 3-17
- Fault Coverage of UIO-based Methods for Protocol TestingHoward E. Motteler, Anthony Chung, Deepinder P. Sidhu. 21-34
- Executable TestersMarc Phalippou. 35-50
- Generating Tests for Control Portion of SDL SpecificationsGang Luo, Anindya Das, Gregor von Bochmann. 51-66
- Test Suite Generation for Application Layer Protocols from Formal Specifications in EstelleOlaf Henniger, Behçet Sarikaya, Steve Biedlingmaier. 67-85
- A Framework for the Design for Testability of Communication ProtocolsSon T. Vuong, Antonio Alfredo Ferreira Loureiro, Samuel T. Chanson. 89-108
- On Evaluation of Testability of Protocol StructuresAlexandre Petrenko, Rachida Dssouli, Hartmut König. 111-124
- ATM Broadband Network Testing Using the Ferry PrincipleMarc F. Witteman, Ronald C. van Wuijtswinkel. 125-138
- Generating Synchronizable Test Sequences Based on Finite State Machine with Distributed PortsGang Luo, Rachida Dssouli, Gregor von Bochmann, Pallapa Venkataram, Abderrazak Ghedamsi. 139-153
- Conformance Relations and Test DerivationAlexandre Petrenko, Gregor von Bochmann, Rachida Dssouli. 157-178
- Experiences with Computer Aided Test Suite GenerationAnders Ek, Jan Ellsberger, Anthony Wiles. 181-196
- Protocol Test Case VisualizationPramod Kalyanasundaram, Paul D. Amer. 197-214
- The UBC Protocol Testing EnvironmentSamuel T. Chanson, Hendra Dany, Myungchul Kim, Qin Li, Ying Lu, Son T. Vuong, Sijian Zhang, Limin Zhou, Jinsong Zhu. 215-230
- Experiences with Octopus Automated TTCN Translation Tools Applied to GSM/SS7Ari Ahtiainen, Bruno Chatras, Marc W. A. Hornbeek, Sami Kesti. 231-253
- A Formal Approach to Conformance TestingJan Tretmans. 257-276
- Test Derivation from LOTOS Using Structure InformationAndreas Ulrich, Hartmut König. 279-293
- The Refusal Graph: a Tradeoff between Verification and TestKhalil Drira. 297-312
- Interoperability Testing: Basis for the Acceptance of Communication SystemsGert Vermeer, Hans Blik. 315-330
- Deriving Coordinated Testers for InteroperabilityRichard Castanet, Ousmane Koné. 331-346
- Adaptive Testing of Non-Deterministic Communication ProtocolsMohammed Ghriga, Phyllis G. Frankl. 347-362
- Nondeterministic State Machines in Protocol Conformance TestingAlexandre Petrenko, Nina Yevtushenko, Alexandre Lebedev, Anindya Das. 363-378