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...
Saved in:
| Main Author: | Saleh, Ayat (author) |
|---|---|
| Format: | doctoralThesis |
| Published: |
2017
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/11073/9129 |
| 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) -
Efficient Algorithms for Constructing Preset Distinguishing Sequences for Nondeterministic Finite State Machines
by: Haddad, Abdul Rahim
Published: (2016) -
On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria
by: Jadoon, Noshad Khan
Published: (2015) -
An incremental approach for test synthesis and scheduling using genetic algorithms. (c2002)
by: Hajar, Aouni
Published: (2002) -
Fault Coverage and Diagnosis of Protocols and Systems Modeled As Extended Finite State Machines
by: Hassoun, Mark Habib
Published: (2015)