“…Due to such motivations, several functional testing approaches are moved to the cloud, including model based testing, also based on formal specifications [60], [13]; coverage testing [81], [82]; use of combinatorial approaches for concurrently testing different configurations on different servers and in any order [156], [140], [139]. In particular the paradigm Testing-as-a-Service (TaaS) opens new perspectives for functional testing specifically in the mobile context (such as [166], [114], [93]), or GUI testing (such as [31]).…”