Conformance testing: Architectures and test sequences
- 1 July 1989
- journal article
- research article
- Published by Elsevier in Computer Networks and ISDN Systems
- Vol. 17 (2) , 111-126
- https://doi.org/10.1016/0169-7552(89)90004-4
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Introduction to the ISO specification language LOTOSPublished by Elsevier ,2003
- Semiautomatic Implementation of Communication ProtocolsIEEE Transactions on Software Engineering, 1987
- A Test Design Methodology for Protocol TestingIEEE Transactions on Software Engineering, 1987
- A functional approach to program testing and analysisIEEE Transactions on Software Engineering, 1986
- Encoding CCITT X.409 presentation transfer syntaxACM SIGCOMM Computer Communication Review, 1984
- Synchronization and Specification Issues in Protocol TestingIEEE Transactions on Communications, 1984
- Protocol Representation with Finite-State ModelsIEEE Transactions on Communications, 1980
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- Testing Software Design Modeled by Finite-State MachinesIEEE Transactions on Software Engineering, 1978
- Checking Experiments ror Sequential MachinesIEEE Transactions on Computers, 1971