Formal methods for test sequence generation
- 30 June 1992
- journal article
- review article
- Published by Elsevier in Computer Communications
- Vol. 15 (5) , 311-325
- https://doi.org/10.1016/0140-3664(92)90092-s
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- A protocol test generation procedurePublished by Elsevier ,2003
- On the complexity of generating optimal test sequencesIEEE Transactions on Software Engineering, 1991
- Formal methods for generating protocol conformance test sequencesProceedings of the IEEE, 1990
- Formal methods for protocol testing: a detailed studyIEEE Transactions on Software Engineering, 1989
- OSI conformance testingComputer Networks and ISDN Systems, 1987
- 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
- On general routing problemsNetworks, 1976
- Matching, Euler tours and the Chinese postmanMathematical Programming, 1973