Testing safety-critical systems is crucial since a failure or malfunction may result in death or
serious injuries to people, equipment, or environment. An important challenge in testing is …

Abstract Model-based test case generation (MB-TCG) and prioritization (MB-TCP) utilize
models that represent the system under test (SUT) for test generation and prioritization in …

All engineering disciplines are founded and rely on models, although they may differ on
purposes and usages of modeling. Interdisciplinary domains such as Cyber Physical …

All engineering disciplines are founded and rely on models, although they may differ on
purposes and usages of modeling. Among the different disciplines, the engineering of Cyber …

Since its birth more than two decades ago, public key cryptography has been recognized as
one of the most effective mechanisms for providing fundamental security services including …

Context Testing and verification of automotive embedded software is a major challenge.
Software production in automotive domain comprises three stages: Develo** automotive …

Testing plays an essential role in ensuring the safety and quality of cyberphysical systems
(CPSs). One of the main challenges in automated and software-in-the-loop simulation …

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 …

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 …

Modeling mixed discrete-continuous controllers using Stateflow is common practice and has
a long tradition in the embedded software system industry. Testing Stateflow models is …