Abstract is missing.
- Issues in Testing Fast Packet Services over the Broadband ISDNMichael Koblentz. 3-18
- Testing in Practice - OSI Test CenterMichel Haulard La Brière. 19-29
- Test Selection Based on ADT SpecificationsMarie-Claude Gaudel. 31-40
- The Limited Power of TestingMarc Phalippou. 43-54
- On Asynchronous TestingLouis Verhaard, Jan Tretmans, Pim Kars, Ed Brinksma. 55-66
- Characterizing and Ordering Errors Detected by Conformance TestingKhalil Drira, Pierre Azéma, B. Soulas, A. M. Chemali. 67-78
- On Inconclusive Verdict in Conformance TestingSamuel T. Chanson, Qin Li. 81-92
- Automated Test Case Selection Based on Test Coverage MetricsM. McAllister, Son T. Vuong, Jadranka Alilovic-Curgus. 93-104
- Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite State MachinesAbderrazak Ghedamsi, Rachida Dssouli, Gregor von Bochmann. 105-116
- An Approach to the Test of an ATM Based Signalling ApplicationM. Di Concetto, Gennaro Marino, E. Merli, Fabrizio Zizza. 119-130
- An Operational Semantics for Concurrent TTCNThomas Walter, Bernhard Plattner. 131-143
- The Silence of the LANsDermot J. Dwyer. 147-157
- Interoperability Testing Panel MinutesJean Philippe Favreau. 159-160
- Position Paper on Interoperability TestingIan C. Davidson. 161-162
- The Way Towards InteroperabilityHans Blik, Gert Vermeer. 163-164
- On Interoperability TestingPerry Sherman. 165-166
- Summary of Panel Presentations and DiscussionRobert L. Probert. 169-173
- Specification and Derivation of OSI Conformance Test SuitesTomás Robles, José A. Mañas, Gabriel Huecas. 177-188
- Interactive Test Generation from LOTOS SpecificationsS. P. van de Burgt, Jan Kroon, A. M. Peeters. 189-203
- Test System for a Restricted Class of LOTOS Expressions with Data ParametersTeruo Higashino, Gregor von Bochmann, Xiangdong Li, Keiichi Yasumoto, Kenichi Taniguchi. 205-216
- Applications of Sufficient Conditions for Efficient Protocol Test GenerationAnthony Chung, Deepinder P. Sidhu. 219-228
- A Further Optimization Technique for Conformance Testing Based on Multiple UIO SequencesZhang Lidong, Liu Jiren, Huatian Li. 229-235
- Automated Protocol Conformance Test Generation Based on Formal Methods for LOTOS SpecificationsAna R. Cavalli, Patrick Maigron, Sung Un Kim. 237-248
- The IS-IS Multi-Party Conformance Test SystemDebra Tang, Jinsheng Liu, Jean Philippe Favreau. 251-262
- ISO Conformance Testing of the GSM Mobile Network SystemRüdiger Köster, Markus Dicks. 263-273
- Non-Deterministic and Default BehaviourMarc F. Witteman, Ronald C. van Wuijtswinkel, S. Ruud Berkhout. 275-288
- Problems and Difficulties with GSM Protocol Conformance TestingRüdiger Köster. 291
- Promoting the Local Test Method, GSM Protocol Conformance Test ExperienceMarc F. Witteman. 292-294
- Test Derivation from Non-Deterministic Finite State MachinesHans Kloosterman. 297-308
- Generation of Adaptive Test Cases from Nondeterministic Finite State ModelsPiyu Tripathy, Kshirasagar Naik. 309-320
- Overview of Tool Demonstrations323-332