A test generation algorithm for systems modelled as non-deterministic FSMs.

Hosam AboElFotoh Osman Abou-Rabia Hasan Ural

Published in: Softw. Eng. J. (1993)

Keyphrases

generation algorithm
finite state machines
distributed systems
management system
case study
expert systems
learning systems
black box
test data generation
real time
information systems
information technology
hidden markov models
complex systems
statistical tests