With the combination of software and physical devices into so-called cyber-physical systems
(CPSs), Digital Twins (DTs) have emerged to handle the resulting complexity and efficiently …

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 …

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

Industrial standards define domain-specific languages that are frequently used for
developing control software. For instance, IEC 61499 standardizes a graphical modeling …

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 …

Interactive debuggers are established tools used by developers to understand programs
and localize faults. They are equally valuable in the context of model-driven development …

Interactive debuggers are valuable tools to localize defects within programs, but are costly to
implement. We argue that existing solutions to generate or configure debuggers for DSLs …

Enterprise modeling deals with the increasing complexity of processes and systems by
operationalizing model content and by linking complementary models and languages, thus …

Behavioral models are important assets that must be thoroughly verified early in the design
process. This can be achieved with manually-written test cases that embed carefully hand …

Software languages have pros and cons, and are usually chosen accordingly. In this
context, it is common to involve different languages in the development of complex systems …