Autonomous systems are on the rise. However, the challenge to test autonomous systems to
ensure their safe and fault‐free behaviour is not solved yet. This is especially critical when …

Web applications are now used in every aspect of our lives to manage work, provide
products and services, read email, and provide entertainment. The software technologies …

Model‐based testing (MBT) relies on models of the system's behaviour to generate abstract
tests. Testers can reuse formal models using MBT to increase confidence in critical systems …

High-level Petri nets such as Coloured Petri Nets (CPNs) are characterised by the
combination of Petri nets and a high-level programming language. In the context of CPNs …

This article proposes a model-based testing approach for cooperating robotic systems.
Coloured Petri Nets are used for capturing the high behavioural multiplicity of such systems …

Nowadays model-based techniques are widely used in system design and development,
especially for safety-critical systems such as train control systems. Given a design model …

This article proposes an approach to testing the cooperative behaviour of autonomous
software-based agents with safety-relevant tasks. It includes the definition of different model …

In dieser Arbeit wird ein modellbasierter Testansatz für kooperierende autonome Systeme
auf Basis farbiger Petri-Netze vorgestellt. Dazu werden zunächst verschiedene …

Web applications are used by companies across the world to deploy their products and
services. Because of the technologies used to build web applications, they are by nature …