Model‐based testing (MBT) relies on models of a system under test and/or its environment to
derive test cases for the system. This paper discusses the process of MBT and defines a …

In this work we present a model-based framework for security vulnerabilities testing. Security
vulnerabilities are not only related to security functionalities at the application level but are …

Abstract Model-based testing (MBT) involves creating an abstraction, called a model, to
represent the system and automatically deriving test cases from this model. MBT can be …

Testing Asynchronous Reactive Systems: Beyond the ioco framework Page 1 CLEI
ELECTRONIC JOURNAL, VOLUME 24, NUMBER 2, PAPER 13, JULY 2021 Testing …

The development of context-aware applications is a difficult and error-prone task. The
dynamics of the environmental context combined with the complexity of the applications …

Conformance Checking and Pushdown Reactive Systems Page 1 CLEI electronic journal,
Volume 25, Number 3, Paper 2 , November 2022 Conformance Checking and Pushdown …

We present a generalized test case generation method, called the G method. Although
inspired by the W method, the G method, in contrast, allows for test case suite generation …

In this paper we present a generalization to the W-method, which can be used for
automatically generating test cases. In contrast to the W-method, this generalization allows …

We present three computer-augmented software engineering approaches to ensure
dependability at different levels of control architectures in autonomous robots. For each …

Services that represent sensor and actuator nodes, together with service orchestration, aid
in overcoming the heterogeneous structure of the Internet of Things (IoT). Interconnecting …