Efficient Algorithms for Constructing Preset Distinguishing Sequences for Nondeterministic Finite State Machines

Efficient Algorithms for Constructing Preset Distinguishing Sequences for Nondeterministic Finite State Machines

A Master of Science thesis in Computer Engineering by Abdul Rahim Haddad entitled, "Efficient Algorithms for Constructing Preset Distinguishing Sequences for Nondeterministic Finite State Machines," submitted in June 2016. Thesis advisor is Dr. Khaled El-Fakih and thesis co-advisor is Dr....

Full description

Saved in:
Bibliographic Details
Main Author: Haddad, Abdul Rahim (author)
Format: doctoralThesis
Published: 2016
Subjects:
Software Engineering
Functional Testing
Conformance Testing
Distinguishing Experiments
Nondeterministic Finite State Machines
Heuristics
Genetic Algorithms
Sequential machine theory
Computer algorithms
Sequences (Mathematics)
Online Access:http://hdl.handle.net/11073/8471
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

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

Similar Items