Browsing Masters Theses by Subject "Software Engineering"
Now showing items 1-3 of 3
-
Efficient Algorithms for Constructing Preset Distinguishing Sequences for Nondeterministic Finite State Machines
(2016-06)Derivation of input sequences for distinguishing states of a finite state machine (FSM) specification is well studied in the context of FSM-based functional testing. We present three heuristics for the derivation of ... -
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 ... -
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 ...