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....
Saved in:
| Main Author: | Haddad, Abdul Rahim (author) |
|---|---|
| Format: | doctoralThesis |
| Published: |
2016
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/11073/8471 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Parallel Algorithms for Distinguishing Nondeterministic Finite State Machines
by: Ali, Mustafa
Published: (2015) -
Incremental and Heuristic Algorithms for Deriving Adaptive Distinguishing Test Cases for Nondeterministic Finite State Machines
by: Saleh, Ayat
Published: (2017) -
Fault Coverage and Diagnosis of Protocols and Systems Modeled As Extended Finite State Machines
by: Hassoun, Mark Habib
Published: (2015) -
On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria
by: Jadoon, Noshad Khan
Published: (2015) -
Testing and Assessment of Protocols and Systems Modeled as Extended Finite State Machines
by: Salameh, Tariq Mohammad
Published: (2013)