Test selection based on finite state models
- 1 June 1991
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 17 (6) , 591-603
- https://doi.org/10.1109/32.87284
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- A protocol test generation procedurePublished by Elsevier ,2003
- Test sequence generation method for systems‐based finite automata–single transition checking method using w setElectronics and Communications in Japan (Part I: Communications), 1990
- Conformance testing: Architectures and test sequencesComputer Networks and ISDN Systems, 1989
- Formal methods for protocol testing: a detailed studyIEEE Transactions on Software Engineering, 1989
- Trace analysis for conformance and arbitration testingIEEE Transactions on Software Engineering, 1989
- OSI conformance testingComputer Networks and ISDN Systems, 1987
- A Test Design Methodology for Protocol TestingIEEE Transactions on Software Engineering, 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
- A Method for the Design of Fault Detection ExperimentsIEEE Transactions on Computers, 1970