Now showing items 1-2 of 2
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 ...
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 ...