The increasing complexity and connectivity of automotive systems have raised concerns
about their vulnerability to security breaches. As a result, the integration of formal methods …

Field testing refers to testing techniques that operate in the field to reveal those faults that
escape in-house testing. Field testing techniques are becoming increasingly popular with …

Web applications (WAs) are constantly evolving and deployed at broad scale. However, they
are exposed to a variety of attacks. The biggest challenge facing organizations is how to …

Technological advances in recent years have significantly changed the way an operating
room works. This work aims to create a platform to solve the problems of operating room …

We are interested in formal verification and model-based testing for Internet of Things and
Smart Cities. In general these two techniques suffer from state explosion problem. To …

This article addresses the need of applying testing activities with the purpose of checking the
consistency and the correctness of distributed and dynamically adaptable systems whose …

In this paper we propose a new model-based framework for testing security properties of
Internet of Things in Smart Cities. In general a model-based approach consists in extracting …

In this dissertation we report on our main research contributions dealing with Model-Based
Testing of Dynamic and Distributed Real-Time Systems, performed during the last ten years …

Adaptable and distributed component-based systems need to be checked and validated in
order to ensure their correctness and trustworthiness when structural dynamic changes …

This paper provides a standard-based and resource aware Runtime Testing Framework For
Adaptable and Distributed Systems (RTF4ADS). Based on the runtime testing approach …