Formal methods for generating protocol conformance test sequences
- 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
- https://doi.org/10.1109/5.58319
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- A computer-aided design tool for protocol testingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Protocol testing techniquesComputer Communications, 1987
- Synchronization and Specification Issues in Protocol TestingIEEE Transactions on Communications, 1984
- 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 circuitsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1964
- State-identification experiments in finite automataInformation and Control, 1961