Bilatu
4-tik 1-4 emaitza erakusten
Generating metamorphic relations for cyber-physical systems with genetic programming: an industrial case study
(ACM, 2021)
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 not, the socalled test oracle ...
QoS-aware Metamorphic Testing: An Elevation Case Study
(IEEE, 2020)
Elevators are among the oldest and most widespread transportation systems, yet their complexity increases rapidly to satisfy customization demands and to meet quality of service requirements. Verification and validation ...
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 ...
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 ...