Browsing Masters Theses by Author "880e0154-e780-4b08-befc-c045baba0369"
Now showing items 1-1 of 1
-
Incremental and Heuristic Algorithms for Deriving Adaptive Distinguishing Test Cases for Nondeterministic Finite State Machines
Saleh, Ayat (2017-09)Many methods are proposed for the construction of distinguishing test cases (DTCs) based on a specification given in the form of a Finite State Machine (FSM). In FSM-based testing, we have a black-box FSM Implementation ...