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

Hosam AboElFotoh, Osman Abou-Rabia, Hasan Ural. A test generation algorithm for systems modelled as non-deterministic FSMs. IEE Proceedings - Software, 8(4):184-188, 1993. [doi]

Abstract

Abstract is missing.