GenMorph: Automatically Generating Metamorphic Relations via Genetic Programming
Created by W.Langdon from
gp-bibliography.bib Revision:1.8129
- @Misc{Genmorph_TSE_2024,
-
author = "Jon Ayerdi and Valerio Terragni and
Gunel Jahangirova and Aitor Arrieta and Paolo Tonella",
-
title = "GenMorph: Automatically Generating Metamorphic
Relations via Genetic Programming",
-
journal = "IEEE Transactions on Software Engineering",
-
note = "Submitted 3 Nov 2023",
-
keywords = "genetic algorithms, genetic programming, metamorphic
testing, oracle problem, metamorphic relations,
mutation analysis, mutation testing",
-
ISSN = "0098-5589",
-
URL = "https://kclpure.kcl.ac.uk/portal/en/publications/genmorph-automatically-generating-metamorphic-relations-via-genet",
-
size = "11 pages",
-
abstract = "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 inputs and corresponding outputs. Deriving MRs is
mostly a manual activity, since their automated
generation is a challenging and largely unexplored
problem. GENMORPH, a technique to automatically
generate MRs for Java methods that involve inputs and
outputs that are Boolean, numerical, or ordered
sequences. GENMORPH uses an evolutionary algorithm to
search for effective test oracles, i.e., oracles that
trigger no false alarms and expose software faults in
the method under test. The proposed search algorithm is
guided by two fitness functions that measure the number
of false alarms and the number of missed faults for the
generated MRs. Our results show that GENMORPH generates
effective MRs for 18 out of 23 methods (mutation score
>20 percent). Furthermore, it can increase RANDOOP
fault detection capability in 7 out of 23 methods, and
EVOSUITE in 14 out of 23 methods.",
-
language = "English",
-
notes = "See \cite{DBLP:journals/corr/abs-2312-15302}",
- }
Genetic Programming entries for
Jon Ayerdi
Valerio Terragni
Gunel Jahangirova
Aitor Arrieta
Paolo Tonella
Citations