Model transformations are the key technique in Model-Driven Engineering (MDE) to
manipulate and construct models. As a consequence, the correctness of software systems …

Since safety-critical autonomous vehicles need to interact with an immensely complex and
continuously changing environment, their assurance is a major challenge. While systems …

Recently, there has been increased interest in combining model-driven engineering and
search-based software engineering. Such approaches use meta-heuristic search guided by …

Simulink is an example of a successful application of the paradigm of model-based
development into industrial practice. Numerous companies create and maintain Simulink …

Model generators are important tools in model-based systems engineering to automate the
creation of software models for tasks like testing and benchmarking. Previous works have …

The ability to generate test data is often a necessary prerequisite for automated software
testing. For the generated data to be fit for their intended purpose, the data usually have to …

Abstract Search-Based Software Engineering (SBSE) is about solving software development
problems by formulating them as optimization problems. In the last years, combining SBSE …

The automatic generation of software models is an important element in many software and
systems engineering scenarios such as software tool certification, validation of cyber …

Fuzzing or fuzz testing is an established technique that aims to discover unexpected
program behavior (eg, bugs, security vulnerabilities, or crashes) by feeding automatically …

Recently there has been increased interest in combining the fields of Model-Driven
Engineering (MDE) and Search-Based Software Engineering (SBSE). Such approaches use …