Abstract Model transformation lies at the very core of model-driven engineering, and a large
number of model transformation languages and tools have been proposed over the last few …

This chapter describes traditional and intuitive fault localization techniques, including
program logging, assertions, breakpoints, and profiling. Many advanced fault localization …

The increasing complexity of embedded systems leads to uncertain behaviors, security
flaws, and design mistakes. With model-based engineering, early diagnosis of such issues …

One promising way to improve the accuracy of fault localization based on statistical
debugging is to increase diversity among test cases in the underlying test suite. In many …

We present a model-based architecture for monitoring executions of models of real-time and
embedded systems. This architecture is highly configurable and allows for the combination …

Regression testing is indispensable, especially for real-time distributed systems to ensure
that existing functionalities are not affected by changes. Despite recent advances …

Ordering and replaying of execution traces of distributed systems is a challenging problem.
State-of-the-art approaches annotate the traces with logical or physical timestamps …

As software evolves, regression testing techniques are typically used to ensure the new
changes are not adversely affecting the existing features. Despite recent advances …

This paper provides an overview of SimGen, a prototyping tool which aids in the creation of
3D simulations for embedded systems testing. SimGen relies on a domain specific language …

Ideally, debuggers for Model-Driven Development (MDD) tools would allow users to'stay at
the model-level'and would not require them to refer to the generated source code or figure …