Bilatu
12-tik 11-12 emaitza erakusten
Evolutionary generation of metamorphic relations for cyber-physical systems
(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 ...
GenMorph: Automatically Generating Metamorphic Relations via Genetic Programming
(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 ...