Interaction testing can be used to effectively detect faults that are otherwise difficult to find by
other testing techniques. However, in practice, the input configurations of software systems …

Context Context-awareness challenges the engineering of contemporary software systems
and jeopardizes their testing. The variation of context represents a relevant behavior that …

Testing with simulation environments helps to identify critical failing scenarios for self-driving
cars (SDCs). Simulation-based tests are safer than in-field operational tests and allow …

Black-box testing has been extensively applied to test models of Cyber-Physical systems
(CPS) since these models are not often amenable to static and symbolic testing and …

Feature models have been used since the 90s to describe software product lines as a way of
reusing common parts in a family of software systems. In 2010, a systematic literature review …

Abstract Cyber-Physical Systems (CPSs) integrate computation with physical processes.
These systems are usually highly configurable to address different customer needs and are …

Context: In many domains, engineers build simulation models (eg, Simulink) before
develo** code to simulate the behavior of complex systems (eg, Cyber-Physical Systems) …

Abstract Context Software Product Line (SPL) testing is challenging mainly due to the
potentially huge number of products under test. Most of the research on this field focuses on …

The test case generation and prioritization of industrial cyber-physical systems face critical
challenges, and simulation-based testing is one of the most commonly used techniques for …

The software of systems of elevators needs constant maintenance to deal with new
functionality, bug fixes, or legislation changes. To automatically validate the software of …