It is widely held that debugging cyber-physical systems (CPS) is challenging; many strongly
held beliefs exist regarding how CPS are currently debugged and tested and the suitability …

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 …

Abstract Model-based testing is a popular technology for automatic and systematic test case
generation (TCG), where a system-under-test (SUT) is tested for conformance with a model …

Finding bugs in commercial cyber-physical system development tools (or" model-based
design" tools) such as MathWorks's Simulink is important in practice, as these tools are …

Model‐based test generation techniques based on random input generation and guided
simulation do not satisfy the demands of high test coverage and completeness guarantees …

Matlab Simulink is one of the major modeling and simulation tools applied in different
embedded systems domain. Quality assurance is an essential, but often highly effort …

Mutation testing is an established software quality assurance technique for the assessment
of test suites. While it is well-suited to estimate the general fault-revealing capability of a test …

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 …

The advantages of fault injection techniques and related methodologies like mutation testing
have been gaining in attention also from industry, as is evident from the advent of standards …

Compositionality has the potential to enable a step-change in the scalability of formal design
and verification methods for industrial-scale systems: by designing systems in a …