This chapter gives an overview of the field of model-based testing (MBT), particularly the
recent advances in the last decade. It gives a summary of the MBT process, the modeling …

Security testing defines tests for security requirements of software. Security requirements are
non-functional, and thus require a different way of testing compared to functional …

In recent years Cloud computing became one of the most aggressively emerging computer
paradigms resulting in a growing rate of application in the area of IT outsourcing. However …

Model-Based Testing (MBT) is a widely used methodology for generating tests aiming to
ensure that the system behaviour conforms to its specification. Recently, it has been …

This article describes a new property-and model-based testing approach using UML/OCL
models, driven by temporal property patterns and a tool for assisting the temporal properties …

Supply chain process management (SCPM) refers to the design and control of interrelated
production, logistics and information processes on an operational level. In this paper, we …

We present in this article a way to produce test suites applied to the POSIX mini-challenge
based on a behavioral model of a file system manager written in UML/OCL. We illustrate the …

We present in this paper a model-based testing approach aiming at generating test cases
from a UML/OCL model and a given test property. The property is expressed using a …

This article presents a model‐based test generation technique, from user‐defined scenarios,
for behavioral models expressed as B machines. Scenarios are expressed using a …

Background BETA (Bbased testing approach) is a toolsupported approach to generate test
cases from Bmethod specifications through the application of input space partitioning and …