Testing of automata: from experiments to representations by means of fragments

Publisher Website

1 January 1998

book chapter
Published by Springer Nature

p. 3-14
https://doi.org/10.1007/978-0-387-35381-4_1

Abstract

No abstract available

Keywords

This publication has 4 references indexed in Scilit:

Modeling and Testing of Protocol Systems
Published by Springer Nature ,1997
On fault coverage of tests for finite state specifications
Computer Networks and ISDN Systems, 1996
Principles and methods of testing finite state machines-a survey
Proceedings of the IEEE, 1996
Testing Finite State Machines: Fault Detection
Journal of Computer and System Sciences, 1995