default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4. IWPTS 1991: Leidschendam, The Netherlands
- Jan Kroon, Rudolf Jan Heijink, Ed Brinksma:
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. IFIP Transactions C-3, North-Holland 1992, ISBN 0-444-89517-5
Invited Papers
- Jean Philippe Favreau, J. Stephen Nightingale:
Lessons From the Establishment of U.S. GOSIP Testing Program. Protocol Test Systems 1991: 3-15 - Gregor von Bochmann, Anindya Das, Rachida Dssouli, Martin Dubuc, Abderrazak Ghedamsi, Gang Luo:
Fault Models in Testing. Protocol Test Systems 1991: 17-30 - Son T. Vuong, Jadranka Alilovic-Curgus:
On Test Coverage Metrics for Communication Protocols. Protocol Test Systems 1991: 31-45 - D. Rayner:
Status Report on ISO/IEC 9646 Standardization and Extension. Protocol Test Systems 1991: 47-58 - Dieter Hogrefe:
On the Development of a Standard for Conformance Testing Based on Formal Specifictations. Protocol Test Systems 1991: 59-66
Selected Papers
- Hans van Dam, Hans Kloosterman, Erik Kwast:
Text Derivation for Standardised Test Methods. Protocol Test Systems 1991: 69-82 - Alexandre Petrenko:
Checking Experiments with Protocol Machines. Protocol Test Systems 1991: 83-94 - Noriyasu Arakawa, Terunao Soneoka:
A Test Case Generation Method for Concurrent Programs. Protocol Test Systems 1991: 95-106 - M. E. van der Haven, M. G. L. Kockelmans, E. J. Slotboom:
Real Effects Testing of OSI Applications. Protocol Test Systems 1991: 107-117 - Chan Sheng He, Hua-Xin Zeng, F. Liu:
A Bench Mark on the Design of Ferry Based Test Systems. Protocol Test Systems 1991: 119-130 - Jan Tretmans, Pim Kars, Ed Brinksma:
Protocol Conformance Testing: A Formal Perspective on ISO IS-9646. Protocol Test Systems 1991: 131-142 - Cecilia Corbi, Giuseppe Sisto:
Common Abstract Test Suite for the Connection Oriented Presentation Protocol Embedded Under Different Application Contexts. Protocol Test Systems 1991: 143-149 - G. W. Cowin:
Experiences in Developing a Test Suite Structure and Test Purposes Document for Open Systems. Protocol Test Systems 1991: 151-162 - R. J. Helwerda:
Results of the CTS-2 ISDN Basic Access Project. Protocol Test Systems 1991: 163-177 - Michel Hordies, Serge Simonet:
OPEN ITS: An Advanced Concept of an Open Test Environment for the Testing of OSI-based Products. Protocol Test Systems 1991: 179-193 - Martin Dubuc, Rachida Dssouli, Gregor von Bochmann:
TESTL: An Environment for Incremental Test Suite Design Based on Finite-State Models. Protocol Test Systems 1991: 195-206 - Fumiako Sato, Hirosato Tsuji, Kotaro Katsuyama, Tadanori Mizuno:
Parameter Specification Language and Test Data Generation Tools for Communication Software Testing. Protocol Test Systems 1991: 207-218 - E. Guarene, P. Marchese:
Advanced Testing Tools For Intelligent Network. Protocol Test Systems 1991: 219-230 - Roelof Jan Velthuys, Georg Zörntlein:
Relating Events for Conformance Testing - a Pragmatic Approach. Protocol Test Systems 1991: 231-253 - Samuel T. Chanson, Qin Li:
On Static and Dynamic Test Case Selections in Protocol Confomance Testing. Protocol Test Systems 1991: 255-266 - Susumu Fujiwara, Gregor von Bochmann:
Testing Non-Deterministic State Machines with Fault Coverage. Protocol Test Systems 1991: 267-280
Workshop Sessions
- P. Marchese:
Session on Test Suite Development. Protocol Test Systems 1991: 283-283 - Ana R. Cavalli, Sung Un Kim:
Protocol Conformance Test Generation Using a Graph Rewriting System. Protocol Test Systems 1991: 285-288 - Dieter Hogrefe:
Session on Conformance Requirements and Test Purposes in the Context of Formal Methods. Protocol Test Systems 1991: 289-290 - K. Stoettinger:
Session on Equivqlence of Test Tools. Protocol Test Systems 1991: 291-293 - R. J. Heijnk:
Session on TTCN Compilers. Protocol Test Systems 1991: 295 - François van den Berghe:
Overview of the Standardisation of Conformance Test Specifications and Tools: European Work, Contribution to ISO/CCITT and Worldwide Harmonisation. Protocol Test Systems 1991: 297-310
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-07 20:40 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:
