Browsing AUS Theses & Dissertations by Author "b59c7652-2145-4a3e-b0f2-72f3caa51634"
Now showing items 1-1 of 1
-
Efficient Algorithms for Constructing Preset Distinguishing Sequences for Nondeterministic Finite State Machines
Haddad, Abdul Rahim (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 ...