Regression is one of the most commonly used statistical techniques. However, testing
regression systems is a great challenge because of the absence of test oracle in general. In …

Security testing aims at verifying that the software meets its security properties. In modern
Web systems, however, this often entails the verification of the outputs generated when …

While a recent study reveals that many developer-written test cases can encode a reusable
Metamorphic Relation (MR), over 70% of them directly hard-code the source input and …

Industrial elevator systems are complex Cyber-Physical Systems operating in uncertain
environments and experiencing uncertain passenger behaviors, hardware delays, and …

Cyber-physical systems (CPSs) are a new generation of systems, which integrate software
with physical processes. The increasing complexity of these systems, combined with the …

Real-world Cyber-Physical Systems (CPSs) are usually configurable. Through parameters, it
is possible to configure, select or unselect different system functionalities. While this …

Metamorphic testing addresses the issue of the oracle problem by comparing results
transformation from multiple test executions. The relationship that governs the output …