Context: Modern software development increasingly relies on software testing for an ever
more frequent delivery of high quality software. This puts high demands on the quality of the …

Context Model-based testing (MBT) aims to generate executable test cases from behavioral
models of software systems. MBT gains interest in industry and academia due to its …

One of the barriers that prevent augmented reality (AR) from being widely adopted in diverse
and complex industrial operations is the lack of adaptive and scalable AR work instruction …

Context: Automation is required in the software development to reduce the high costs of
producing software and to address the short release cycles of modern development …

Combinatorial testing aims at covering the interactions of parameters in a system under test,
while some combinations may be forbidden by given constraints (forbidden tuples). In this …

This work introduces a heuristic-guided branching search algorithm for model-based,
mutation-driven test-case generation. The algorithm is designed towards the efficient and …

Model-based testing (MBT) is a test design technique that supports the automation of
software testing processes and generates test artefacts based on a system model …

Software testing aims at gaining confidence in software products through fault detection, by
observing the differences between the behavior of the implementation and the expected …

In the distributed test architecture, the system under test (SUT) interacts with its environment
at multiple physically distributed ports and the local testers at these ports do not synchronize …

Every year several contributions to the model‐based testing (MBT) field are published.
Therefore, to follow the evolution and trends of several tools and models available is difficult …