Browsing Masters Theses by Author "8ef7e150-52b0-4e31-9c4c-ae509b00cfa1"
Now showing items 1-11 of 11
-
Efficient Algorithms for Constructing Preset Distinguishing Sequences for Nondeterministic Finite State Machines
Haddad, Abdul Rahim (2016-06)Derivation of input sequences for distinguishing states of a finite state machine (FSM) specification is well studied in the context of FSM-based functional testing. We present three heuristics for the derivation of ... -
Empirical Evaluation of Extended Finite State Machine Test Suites
Hasan, Faiz Mohammed (2022-05) -
Fault Classification Using Formal Modeling and Mutation Testing with Deep Learning
Kaddoura, Yara (2023-01) -
Fault Coverage and Diagnosis of Protocols and Systems Modeled As Extended Finite State Machines
Hassoun, Mark Habib (2015-01)Automatic test derivation from formal specifications offers a rigorous discipline to functional conformance testing. In various application domains, such as communication protocols and other reactive systems, the specification ... -
A Formal Assisted Approach for Modeling and Testing Security Attacks in IoT Edge Devices
Bhanpurawala, Alifiya (2023-11)With the rapid growth in the number of IoT devices being added to the network, a major concern that arises is the security of these systems. As these devices are resource constrained, safety measures are difficult to ... -
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 ... -
On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria
Jadoon, Noshad Khan (2015-07)Automatic test derivation from formal specifications offers a rigorous discipline to functional conformance testing. In various application domains, such as communication protocols and other reactive systems, the specification ... -
Optimizing Energy Consumption of Cloud Computing IaaS
Mohamed, Huda Ibrahim (2017-05)Cloud computing infrastructures are designed to support the accessibility and availability of various services to consumers over the Internet. Datacenters hosting Cloud applications consume massive amounts of power, ... -
Parallel Algorithms for Distinguishing Nondeterministic Finite State Machines
Ali, Mustafa (2015-02)Many methods are used for the development of experiments and conformance tests based on the specification given in the form Finite State Machines (FSMs). In FSM-based testing, we have an FSM or a black-box Implementation ... -
Parallel Implementations for Eliminating Finite State Machine Mutants
Badawi, Emad Mohammad (2017-05)In this thesis, the mutants’ elimination problem considered in finite state machine (FSM) based mutation testing, fault diagnosis, and in the assessment of the effectiveness of test suites is targeted. Given a test suite ... -
Testing and Assessment of Protocols and Systems Modeled as Extended Finite State Machines
Salameh, Tariq Mohammad (2013-06)Developing and selecting an appropriate test suite is an important issue for testing implementations of protocols and other reactive software systems. Many methods are known for the derivation of test suites based on a ...