Sciweavers

7311 search results - page 37 / 1463
» Time in State Machines
Sort
View
ICST
2009
IEEE
14 years 2 months ago
Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM)
The problem of testing from an extended finite state machine (EFSM) can be expressed in terms of finding suitable paths through the EFSM and then deriving test data to follow the ...
Abdul Salam Kalaji, Robert M. Hierons, Stephen Swi...
SAFECOMP
2007
Springer
14 years 1 months ago
Improving Test Coverage for UML State Machines Using Transition Instrumentation
We discuss the problem of generating test suites from UML state machines and present a method to extend the capabilities of existing automated test case generators. Current tools p...
Mario Friske, Bernd-Holger Schlingloff
PDCAT
2004
Springer
14 years 22 days ago
State Machine Based Operating System Architecture for Wireless Sensor Networks
A wireless sensor network is characterized as a massively distributed and deeply embedded system. Such a system requires concurrent and asynchronous event handling as a distributed...
Tae-Hyung Kim, Seongsoo Hong
ICDCS
1993
IEEE
13 years 11 months ago
Diagnosis of Single Transition Faults in Communicating Finite State Machines
In this paper, we propose a diagnostic algorithm for the case where distributed system specifications (implementations) are given in the form of communicating finite state machine...
Abderrazak Ghedamsi, Gregor von Bochmann, Rachida ...
CIVR
2004
Springer
149views Image Analysis» more  CIVR 2004»
13 years 11 months ago
A Framework for Semantic Classification of Scenes Using Finite State Machines
We address the problem of classifying scenes from feature films into semantic categories and propose a robust framework for this problem. We propose that the Finite State Machines ...
Yun Zhai, Zeeshan Rasheed, Mubarak Shah