๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A heuristic approach to the generation of tests for faults on the intermediate lines

โœ Scribed by Ali Athar Khan; Harpreet Singh; N.K. Nanda

Book ID
113211750
Publisher
Elsevier Science
Year
1982
Tongue
English
Weight
321 KB
Volume
9
Category
Article
ISSN
0045-7906

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A Fault-Detection Approach to the Confor
A Fault-Detection Approach to the Conformance Testing of Nondeterministic Systems
โœ T.Y. Cheung; X.M. Ye ๐Ÿ“‚ Article ๐Ÿ“… 1995 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 655 KB

The classical fault-detection approach to conformance testing for deterministic systems is based on state identification by means of diagnosis sequences. This paper extends this approach to set identification for nondeterministic systems in which an action may reach more than one state. It presents