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

A Heuristic Measure to Maximize Detected Faults per Test

โœ Scribed by Kim T. Le; Kewal K. Saluja

Book ID
110263486
Publisher
Springer US
Year
1998
Tongue
English
Weight
45 KB
Volume
13
Category
Article
ISSN
0923-8174

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