The cloud computing paradigm has become a mainstream solution for the deployment of
business processes and applications. In the public cloud vision, infrastructure, platform, and …

Abstract Software-as-a-service (SaaS) has received significant attention recently as one of
three principal components of cloud computing, and it often deals with applications that run …

In this paper, we present generic cloud performance models for evaluating Iaas, PaaS,
SaaS, and mashup or hybrid clouds. We test clouds with real-life benchmark programs and …

This is a work in progress in which we are interested in testing security aspects of Internet of
Things for smart cities. For this purpose we follow a model-based approach which consists …

Cloud computing not only changes today's computing infrastructure, but also alters the way
of obtaining computing resources, managing and delivering software and services …

Cloud platform provides an infrastructure for resource sharing, software hosting and service
delivering in a pay-per-use approach. To test the cloud-based software systems, techniques …

A systematic literature review is presented that surveyed the topic of cloud testing over the
period 2012--2017. Cloud testing can refer either to testing cloud-based systems (testing of …

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 …

Mobile cloud computing (MCC) enables mobile devices to exploit seamless cloud services
via offloading, and has numerous advantages and increased security and complexity …