Low-code is a growing development approach supported by many platforms. It fills the gap
between business and IT by supporting the active involvement of non-technical domain …

Omniscient debugging is a promising technique that relies on execution traces to enable
free traversal of the states reached by a model (or program) during an execution. While a …

Executable domain-specific languages (DSLs) enable the execution of behavioral models.
While an execution is mostly driven by the model content (eg, control structures), many use …

Test coverage is an effective technique to measure test case quality and to enable fault
localization. However, for Executable Domain-Specific Languages (xDSLs), coverage …

In Domain-Specific Modelling (DSM) the general goal is to provide Domain-Specific
Modelling Languages (DSMLs) for domain users to model systems using concepts and …

Testing is one of the most prevalent and successful verification and validation (V&V)
techniques used in the field of software engineering. While a large number of testing …

The use of robots is gaining considerable traction in several domains, since they are
capable of assisting and replacing humans for everyday tasks. To harvest the full potential of …

Abstract Executable Domain-Specific Languages (xDSLs) allow the definition and the
execution of behavioral models. Some behavioral models are reactive, meaning that during …

To test a system efficiently, we need to know how good are the defined test cases and to
localize detected faults in the system. Measuring test coverage can address both concerns …

Runtime monitoring is a fundamental technique used throughout the lifecycle of a system for
many purposes, such as debugging, testing, or live analytics. While runtime monitoring for …