Zerrendatu honen arabera: egilea "Tonella, Paolo"
-
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 ... -
An industrial experience report on applying search-based boundary input generation to cyber-physical systems
Valle Entrena, Pablo; Riccio, Vincenzo; Arrieta, Aitor; Tonella, Paolo; Arratibel, Maite (Springer, 2025)Testing Cyber Physical Systems (CPS) is crucial, as they play a central role in modern society. In the complex input space of these systems, boundary test inputs provide a valuable asset for test engineers as they identify ...
