Abstract As Cyber-Physical Systems (CPSs) are a class of systems advancing in a number
of safety-critical application areas, it is crucial to ensure that they operate without causing …

Engineers face significant challenges in developing cyber-physical systems (CPS) due to
their heterogeneous nature, ie the need for knowledge and skills from a wide range of …

Complex systems such as autonomous cars are typically built as a composition of features
that are independent units of functionality. Features tend to interact and impact one another's …

We describe the deployment of the Sapienz Search Based Software Engineering (SBSE)
testing system. Sapienz has been deployed in production at Facebook since September …

Test automation requires automated oracles to assess test outputs. For cyber physical
systems (CPS), oracles, in addition to be automated, should ensure some key objectives:(i) …

The time it takes software systems to be tested is usually long. Search-based test selection
has been a widely investigated technique to optimize the testing process. In this article, we …

The development of Cyber-physical Systems (CPS) draws more interest from both
researchers and industrial practitioners considering the opportunities they offer in almost all …

One of the major challenges in the verification of complex industrial Cyber-Physical Systems
is the difficulty of determining whether a particular system output or behaviour is correct or …

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

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 …