Test selection based on communicating nondeterministic finite-state machines using a generalized Wp-method
- 1 January 1994
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 20 (2), 149-162
- https://doi.org/10.1109/32.265636
Abstract
No abstract availableThis publication has 16 references indexed in Scilit:
- Test selection based on finite state modelsIEEE Transactions on Software Engineering, 1991
- The derivation of conformance tests from LOTOS specificationsIEEE Transactions on Software Engineering, 1990
- Formal methods for protocol testing: a detailed studyIEEE Transactions on Software Engineering, 1989
- The CCITT-specification and description language SDLComputer Networks and ISDN Systems, 1989
- A protocol test generation procedureComputer Networks and ISDN Systems, 1988
- OSI conformance testingComputer Networks and ISDN Systems, 1987
- A Test Design Methodology for Protocol TestingIEEE Transactions on Software Engineering, 1987
- Testing Software Design Modeled by Finite-State MachinesIEEE Transactions on Software Engineering, 1978
- Failure diagnosis of automataCybernetics and Systems Analysis, 1975
- A Method for the Design of Fault Detection ExperimentsIEEE Transactions on Computers, 1970