An experiment in automatic generation of test suites for protocols with verification technology
- 31 July 1997
- journal article
- Published by Elsevier BV in Science of Computer Programming
- Vol. 29 (1-2), 123-146
- https://doi.org/10.1016/s0167-6423(96)00032-9
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- A Formal Approach to Conformance Testing of Distributed Routing ProtocolsPublished by Springer Science and Business Media LLC ,1999
- Two approaches linking a test generation tool with verification techniquesPublished by Springer Science and Business Media LLC ,1996
- Using on-the-fly verification techniques for the generation of test suitesLecture Notes in Computer Science, 1996
- Test generation with inputs, outputs, and quiescenceLecture Notes in Computer Science, 1996
- Industrial and academic protocol testing: the gap and the means of convergenceComputer Networks and ISDN Systems, 1995
- Test sequence generation using Estelle or SDL structure informationPublished by Springer Science and Business Media LLC ,1995
- Test selection based on finite state modelsIEEE Transactions on Software Engineering, 1991
- A protocol test generation procedureComputer Networks and ISDN Systems, 1988
- Observation equivalence as a testing equivalenceTheoretical Computer Science, 1987
- Testing equivalences for processesTheoretical Computer Science, 1984