Formal methods for generating protocol conformance test sequences
Authors:
- A.T. DahburaADA.T. Dahbura
- K.K. SabnaniKSK.K. Sabnani
- M.U. UyarMUM.U. Uyar
- 1 January 1990
- journal article
- research article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Proceedings of the IEEE
- Vol. 78 (8) , 1317-1326
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Protocol testing techniquesComputer Communications, 1987
- Synchronization and Specification Issues in Protocol TestingIEEE Transactions on Communications, 1984
- Testing Software Design Modeled by Finite-State MachinesIEEE Transactions on Software Engineering, 1978
- Efficient Algorithms for Shortest Paths in Sparse NetworksJournal of the ACM, 1977
- On general routing problemsNetworks, 1976
- Matching, Euler tours and the Chinese postmanMathematical Programming, 1973
- Checking Experiments ror Sequential MachinesIEEE Transactions on Computers, 1971
- A Method for the Design of Fault Detection ExperimentsIEEE Transactions on Computers, 1970
- Fault detecting experiments for sequential circuits1964
- State-identification experiments in finite automataInformation and Control, 1961