Incremental and Heuristic Algorithms for Deriving Adaptive Distinguishing Test Cases for Nondeterministic Finite State Machines

Incremental and Heuristic Algorithms for Deriving Adaptive Distinguishing Test Cases for Nondeterministic Finite State Machines

A Master of Science thesis in Computer Engineering by Ayat Saleh entitled, "Incremental and Heuristic Algorithms for Deriving Adaptive Distinguishing Test Cases for Nondeterministic Finite State Machines," submitted in September 2017. Thesis advisor is Dr. Khaled El-Fakih. Soft and hard co...

Full description

Saved in:
Bibliographic Details
Main Author: Saleh, Ayat (author)
Format: doctoralThesis
Published: 2017
Subjects:
Model Based Testing
Distinguishing Test case
Incremental Algorithms
Heuristics
Sequential machine theory
Computer algorithms
Online Access:http://hdl.handle.net/11073/9129
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

http://hdl.handle.net/11073/9129

Similar Items