Search

Now showing items 1-1 of 1

Generating metamorphic relations for cyber-physical systems with genetic programming: an industrial case study

Ayerdi, Jon; Arrieta, Aitor; Sagardui, Goiuria (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 ...