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]

Authors

Hosam AboElFotoh

This author has not been identified. Look up 'Hosam AboElFotoh' in Google

Osman Abou-Rabia

This author has not been identified. Look up 'Osman Abou-Rabia' in Google

Hasan Ural

This author has not been identified. Look up 'Hasan Ural' in Google