Systems are error-prone. Big systems have lots of errors. The Internet-of-Things poses us
one of the biggest and widespread systems, where errors directly impact people's lives …

Cloud Computing: Theory and Practice, Third Edition provides students and IT professionals
with an in-depth analysis of the cloud from the ground up. After an introduction to network …

Cloud computing has emerged as a new technology and business paradigm in the last
couple of years. Cloud computing platforms provide easy access, scalability, reliability …

As cloud computing continues to gain more momentum in the IT industry, more issues and
challenges are being reported by academics and practitioners. In this paper, we aim to attain …

We present a new automatic technique for proving strong secrecy for security protocols.
Strong secrecy means that an adversary cannot see any difference when the value of the …

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 computing has emerged as a new computing paradigm that impacts several different
research fields, including software testing. Testing cloud applications has its own …

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 …

Abstract The Internet of Things (IoT) has increased its footprint becoming globally a 'must
have'for today's most innovative companies. Applications extend to multitude of domains …

As applications and services migrate to the cloud, testing will follow the same trend.
Therefore, organizations must understand the dynamics of cloud-based testing. This article …