Formal methods for protocol testing: a detailed study
- 1 April 1989
- journal article
- research article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 15 (4), 413-426
- https://doi.org/10.1109/32.16602
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- An experience in estimating fault coverage of a protocol testPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A protocol test generation procedureComputer Networks and ISDN Systems, 1988
- Experience with test generation for real protocolsPublished by Association for Computing Machinery (ACM) ,1988
- Executable logic specifications for protocol service interfacesIEEE Transactions on Software Engineering, 1988
- Synchronization and Specification Issues in Protocol TestingIEEE Transactions on Communications, 1984
- OSI Reference Model--The ISO Model of Architecture for Open Systems InterconnectionIEEE Transactions on Communications, 1980
- Testing Software Design Modeled by Finite-State MachinesIEEE Transactions on Software Engineering, 1978
- A Method for the Design of Fault Detection ExperimentsIEEE Transactions on Computers, 1970
- On Asymptotic Estimates in Switching and Automata TheoryJournal of the ACM, 1966