Search Results - "El‐Fakih, K."

Assessing test suites of extended finite state machines against model‐ and code‐based faults by El‐Fakih, K., Alzaatreh, Ayman, Türker, Uraz Cengiz

“…Summary Tests can be derived from extended finite state machine (EFSM) specifications considering the coverage of single‐transfer faults, all transitions using…”
Get full text

FSM-based testing from user defined faults adapted to incremental and mutation testing by El-Fakih, K. A., Dorofeeva, R., Yevtushenko, N. V., Bochmann, G. V.

“…We study the problem of deriving a test suite with guaranteed fault coverage from a given finite state machine specification with respect to some given user…”
Get full text

Automatic derivation of Petri net based distributed specification with optimal allocation of resources by El-Fakih, K., Yamaguchi, H., v. Bochmann, G., Higashino, T.

“…In this paper, we present a method for the synthesis of extended Petri net-based distributed specifications. Our method finds an optimal allocation of…”
Get full text

A Formal Assisted Approach for Modeling and Testing Security Attacks in IoT Edge Devices by Bhanpurawala, A, El-Fakih, K, Zualkernan, I

“…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…”
Get full text

Experimental evaluation of FSM-based testing methods by Dorofeeva, R., El-Fakih, K., Maag, S., Cavalli, A.R., Yevtushenko, N.

“…The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for…”
Get full text

FSM-based incremental conformance testing methods by EI-Fakih, K., Yevtushenko, N., Bochmann, Gv

“…The development of appropriate test cases is an important issue for conformance testing of protocol implementations and other reactive software systems. A…”
Get full text

Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets by Yamaguchi, Hirozumi, El-Fakih, Khaled, von Bochmann, Gregor, Higashino, Teruo

Get full text

Extended Finite State Machine Based Test Derivation Driven by User Defined Faults by El-Fakih, K., Kolomeez, A., Prokopenko, S., Yevtushenko, N.

“…Test derivation based on user defined faults deals with the generation of tests that check if some parts of a given specification are correctly implemented in…”
Get full text

Optimal Assignment of Real-Time Systems into Multi-context Dynamically Reconfigurable Processors by Kitani, T., Nakahashi, R., El-Fakih, K., Higashino, T.

“…In this paper, we focus on the problem of implementing a periodic concurrent system with timing constraints into multi-context dynamically reconfigurable…”
Get full text

Simulated Annealing and Genetic Algorithms for Optimal Regression Testing by Mansour, Nashat, El-Fakih, Khalid

“…The optimal regression testing problem is one of determining the minimum number of test cases needed for revalidating modified software in the maintenance…”
Get full text

Allocation and Re-Allocation of Data in a Grid using an Adaptive Genetic Algorithm by Siefoddini, H., El-Fakih, K., Kawash, J., Mansour, N.

Get full text

Natural optimization algorithms for optimal regression testing by Mansour, P., El-Fakih, K.

“…The optimal regression testing problem is that of determining the minimum number of test cases needed for revalidating modified software in the maintenance…”
Get full text