Context Model-based testing (MBT) aims to generate executable test cases from behavioral
models of software systems. MBT gains interest in industry and academia due to its …

Abstract Model-driven engineering (MDE) and search-based software engineering (SBSE)
are both relevant approaches to software engineering. MDE aims to raise the level of …

In software engineering, system modeling is the process of formulating a representation of a
real system in an abstract way to understand its behavior. Software testing encourages …

Efficient testing is a crucial prerequisite to engineer reliable automotive software
successfully. However, manually deriving test cases from ambiguous textual requirements is …

Testing is crucial to successfully engineering reliable automotive software. The manual
derivation of test cases from ambiguous textual requirements is costly and error-prone …

Software testing approaches are mainly divided into three types ie code based testing,
specification based testing and model based testing. In model based testing, the testing can …

In the combination of Model-Driven Engineering (MDE) and Search-Based Software
Engineering (SBSE), genetic operations are one of the key ingredients. Our work proposes a …

UML is widely accepted and practiced in industries for modeling and design of software
systems. Software requirements and design are very important parts of software …

Software is the most crucial innovation driver for cyber-physical systems and validating its
correct behavior is crucial to many application domains from automated vehicles to medical …

Using model-based approaches and code synthesis to engineer information systems
improves agile application development and evolution. However, current research lacks …