Testing CPS with Design Assumptions-Based Metamorphic Relations and Genetic Programming
Created by W.Langdon from
gp-bibliography.bib Revision:1.8344
- @Article{Mandrioli:TSE,
-
author = "Claudio Mandrioli and Seung Yeob Shin and
Domenico Bianculli and Lionel Briand",
-
title = "Testing {CPS} with Design Assumptions-Based
Metamorphic Relations and Genetic Programming",
-
journal = "IEEE Transactions on Software Engineering",
-
keywords = "genetic algorithms, genetic programming, Testing,
Drones, Software, Shape, Control theory, Software
algorithms, Sensors, Linearity, Steady-state,
Mathematical models",
-
ISSN = "1939-3520",
-
DOI = "
doi:10.1109/TSE.2025.3563121",
-
abstract = "...To address the test case generation and oracle
problems, researchers have proposed metamorphic
testing, which is based on the study of relations
across tests, i.e., metamorphic relations (MRs). we
define MRs based on the design assumptions and explore
combinations of these MRs using genetic programming to
generate CPS test cases. This enables the generation of
CPS input traces with potentially arbitrary shapes,
together with associated expected output traces. We use
the deviation from the expected output traces to guide
the generation of input traces that falsify the MRs.
Our experiment results show that the MR-falsification
provides engineers with new information, helping them
identify passed and failed test cases. Furthermore, we
show that the generation of traces that falsify the MRs
is a non-trivial problem, which cannot be addressed
with a random generation approach but is successfully
addressed by our approach based on genetic search.",
-
notes = "Also known as \cite{10976605}",
- }
Genetic Programming entries for
Claudio Mandrioli
Seung Yeob Shin
Domenico Bianculli
Lionel C Briand
Citations