Modeling Basic LOTOS by FSMs for Conformance Testing

Publisher Website

1 January 1996

book chapter
Published by Springer Nature

p. 137-152
https://doi.org/10.1007/978-0-387-34892-6_9

Abstract

No abstract available

Keywords

This publication has 5 references indexed in Scilit:

A protocol test generation procedure
Published by Elsevier ,2003
Test selection based on communicating nondeterministic finite-state machines using a generalized Wp-method
IEEE Transactions on Software Engineering, 1994
Test selection based on finite state models
IEEE Transactions on Software Engineering, 1991
The derivation of conformance tests from LOTOS specifications
IEEE Transactions on Software Engineering, 1990
Testing Software Design Modeled by Finite-State Machines
IEEE Transactions on Software Engineering, 1978