Now showing items 1-3 of 3
Generating metamorphic relations for cyber-physical systems with genetic programming: an industrial case study
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
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 ...
Genetic Algorithm-based Testing of Industrial Elevators under Passenger Uncertainty
Elevators, as other cyber-physical systems, need to deal with uncertainty during their operation due to several factors such as passengers and hardware. Such uncertainties could affect the quality of service promised by ...