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