Generating finite state machine from WSMO choreography for testing Web services by Rusli, H. M., Ahmad, A., Ibrahim, S., Puteh, M.

“…Test cases are then generated based on the Finite State Machine model using existing test generation approach.…”

Power-aware through-silicon-via minimization by partitioning finite state machine with datapath by Abdullah, A. C., Ooi, C. Y., Ismail, N. B., Mohammad, N. B.

“…This paper proposes an extended Finite State Machine with Datapath (FSMD) partitioning that performs three-dimensional (3D) high level synthesis (HLS) with objectives to minimize the number of through-silicon-via (TSV) and to equip the synthesized system with power gating capability to save power. …”

FSM-F: finite state machine based framework for denial of service and intrusion detection in manet by Ahmed, M. N., Abdullah, A. H., Kaiwartya, O.

“…In this context, this paper proposes a framework based on Finite State Machine (FSM) for denial of service and intrusion detection in MANETs. …”
Get full text

Redefining histograms of oriented gradients descriptors for handling occlusion in people detection by Sani, Ahmad

“…Support vector machines (SVM) were used to classify the extracted parts and a finite-state machine was employed for handling the detected parts. …”
Get full text

Redefining histograms of oriented gradients descriptors for handling occlusion in people detection by Sani, Ahmad

“…Support vector machines (SVM) were used to classify the extracted parts and a finite- state machine was employed for handling the detected parts. …”
Get full text

Web services choreography testing using semantic service description by Mohd. Rusli, Hazlifah

“…This thesis finally proposed a new testing model called the Choreography to Finite State Machine (C2FSM) to support the service selection of an automatic web service composition. …”
Get full text

An EFSM-based test data generation approach in model-based testing by Mohd. Shafie, Muhammad Luqman, Wan Kadir, Wan Mohd. Nasir, Muhammad Khatibsyarbini, Muhammad Khatibsyarbini, Isa, Mohd. Adham, Ghani, Israr, Ruslai, Husni

“…This study proposes an automated TDG approach in MB-TCG using the extended finite state machine model (EFSM). The proposed approach integrates MBT with combinatorial testing. …”
Get full text

Functional test generation using micro operation fault model by Ong, Hui Yien

“…The methodology involves conversion of behavioral model of design under test into extended finite state machine. This is followed by micro operation fault detection, fault activation and fault propagation with all the corresponding constraint sequences captured and converted into constraint model using SystemVerilog, a hardware description language. …”
Get full text

Stateflow-based energy management strategy for hybrid energy system to mitigate load shedding by Bakht, M. P., Salam, Z., Bhatti, A. R., Anjum, W., Khalid, S. A., Khan, N.

“…The SF is an extended finite state machine; it provides a platform to design, model, and execute complex event-driven systems using an interactive graphical environment. …”
Get full text

A modified computational model of ant colony system in DNA sequence design by Mustaza, Seri Mastura

“…The problem is modeled using finite state machine where each node represents the DNA bases {A, C, T, G}. …”
Get full text

Strategy for scalable scenarios modeling and calculation in early software reliability engineering by Ali, Awad, Jawawi, Dayang N. A., Isa, Mohd. Adham

“…The scenarios are pragmatically modeled and translated to finite state machines, where each state machine represents the behaviour of component instance within the scenario. …”
Get full text

Feasible transition path generation for EFSM-based system testing by Wong, S., Ooi, C. Y., Hau, Y. W., Marsono, M. N., Shaikh-Husin, N.

“…This paper presents a feasible transition path (FTP) generation approach for testing extended finite state machines (EFSM). The major problem faced by EFSM-based testing is the existence of the infeasible paths due to conflict of the context variable with the enable conditions in the transition path. …”

FPGA-based implementation of Kalman filter for real-time estimation of tire velocity and acceleration by Sandhu, F., Selamat, H., Alavi, S. E., Behtaji Siahkal Mahalleh, V.

“…The proposed system is run sequentially using finite-state machines, while a large number of multiplication and division operations are removed through rewiring and logic reuse. …”