Search
Now showing items 1-4 of 4
Multi-Objective Metamorphic Test Case Selection: an Industrial Case Study (Practical Experience Report)
(IEEE, 2022)
Metamorphic testing is a technique that has shown great potential to alleviate the test oracle problem by exploiting the relations among the inputs and outputs of different executions of a system. However, this approach ...
On the Cost-Effectiveness of Composite Metamorphic Relations for Testing Deep Learning Systems
(IEEE, 2022)
Deep Learning (DL) components are increasing their presence in mission and safety-critical systems, such as autonomous vehicles. The verification process of such systems needs to be rigorous, for which automated solutions ...
Evolutionary generation of metamorphic relations for cyber-physical systems
(ACM, 2022)
A problem when testing Cyber-Physical Systems (CPS) is the difficulty of determining whether a particular system output or behaviour is correct or not. Metamorphic testing alleviates such a problem by reasoning on the ...
Towards the Isolation of Failure-Inducing Inputs in Cyber-Physical Systems: is Delta Debugging Enough?
(IEEE, 2022)
Cyber-Physical Systems (CPSs) combine digital cyber technologies with parallel physical processes. On the one hand, verification methods of such systems mostly rely on (system level) simulation-based testing. This technique ...