The Unified Modeling Language (UML) is a standard for modeling dynamic systems. UML
behavioral state machines are used for modeling the dynamic behavior of object-oriented …

Model-based testing has been intensively and extensively studied in the past decades.
Extended Finite State Machine (EFSM) is a widely used model of software testing in both …

The discipline of component-based modeling and simulation offers promising gains in
reducing cost, time, and the complexity of model development through the (re) use of …

The challenge of inferring state machines from log data or execution traces is well-
established, and has led to the development of several powerful techniques. Current …

In this article, test diversity has been suggested to be a valid way to improve test suite
effectiveness. Extended finite state machine (EFSM) is a widely used formal model, but little …

Model-driven software engineering raises the abstraction level making complex systems
easier to understand than if written in textual code. Nevertheless, large complicated software …

Prediction and optimization of power consumption have become an essential issue in the
field of General-purpose computing on graphic processing units (GPUs) because of the …

Abstract Model-driven software development aims at easing the process of software
development by using models as primary artifacts. Although less complex than the real …

Unmanned platforms are becoming more and more widely used in both civilian and military
applications. The flight safety of such aircraft is crucial. Therefore, it becomes necessary to …

Big data mining emerges as an innovative and potential research area for retrieving useful
data from huge datasets. It is utilized in real-time applications such as social site data …