Improvements on UIO Sequence Generation and Partial UIO Sequences

Publisher Website

1 January 1992

book chapter
Published by Elsevier

p. 245-260
https://doi.org/10.1016/b978-0-444-89874-6.50022-2

Abstract

No abstract available

This publication has 5 references indexed in Scilit:

A protocol test generation procedure
Published by Elsevier ,2003
An improved protocol test generation procedure based on UIOS
ACM SIGCOMM Computer Communication Review, 1989
Extensional equivalences for transition systems
Acta Informatica, 1987
Observation equivalence as a testing equivalence
Theoretical Computer Science, 1987
Testing Software Design Modeled by Finite-State Machines
IEEE Transactions on Software Engineering, 1978