Search
Now showing items 1-3 of 3
On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria
(2015-07)
Automatic test derivation from formal specifications offers a rigorous discipline to functional conformance testing. In various application domains, such as communication protocols and other reactive systems, the specification ...
Fault Coverage and Diagnosis of Protocols and Systems Modeled As Extended Finite State Machines
(2015-01)
Automatic test derivation from formal specifications offers a rigorous discipline to functional conformance testing. In various application domains, such as communication protocols and other reactive systems, the specification ...
Parallel Algorithms for Distinguishing Nondeterministic Finite State Machines
(2015-02)
Many methods are used for the development of experiments and conformance tests based on the specification given in the form Finite State Machines (FSMs). In FSM-based testing, we have an FSM or a black-box Implementation ...