Finite state machine based formal methods in protocol conformance testing: from theory to implementation
- 31 August 1991
- journal article
- research article
- Published by Elsevier in Computer Networks and ISDN Systems
- Vol. 22 (1) , 7-33
- https://doi.org/10.1016/0169-7552(91)90079-r
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- A protocol test generation procedurePublished by Elsevier ,2003
- An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman toursIEEE Transactions on Communications, 1991
- OSI conformance testingComputer Networks and ISDN Systems, 1987
- X.25 Conformance testing-A tutorialIEEE Communications Magazine, 1986
- Synchronization and Specification Issues in Protocol TestingIEEE Transactions on Communications, 1984
- Testing OSI protocols at the national bureau of standardsProceedings of the IEEE, 1983
- Testing Software Design Modeled by Finite-State MachinesIEEE Transactions on Software Engineering, 1978
- On general routing problemsNetworks, 1976
- Matching, Euler tours and the Chinese postmanMathematical Programming, 1973
- Theoretical Improvements in Algorithmic Efficiency for Network Flow ProblemsJournal of the ACM, 1972