Browsing by Author "Terragni, Valerio"

Now showing items 1-3 of 3

Evolutionary generation of metamorphic relations for cyber-physical systems

Ayerdi, Jon; Arrieta, Aitor; Sagardui, Goiuria (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 ...
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 ...
GenMorph: Automatically Generating Metamorphic Relations via Genetic Programming

Ayerdi, Jon; Arrieta, Aitor (IEEE, 2024)

Metamorphic testing is a popular approach that aims to alleviate the oracle problem in software testing. At the core of this approach are Metamorphic Relations (MRs), specifying properties that hold among multiple test ...