Evolutionary generation of metamorphic relations for cyber-physical systems-Reference-Cited by-同舟云学术

Evolutionary generation of metamorphic relations for cyber-physical systems

Published:2022-07-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the Genetic and Evolutionary Computation Conference Companion
language:
Short-container-title:

Author:

Ayerdi Jon¹,Terragni Valerio²,Arrieta Aitor¹,Tonella Paolo³,Sagardui Goiuria¹,Arratibel Maite⁴

Affiliation:

1. Mondragon University, Mondragon, Spain

2. University of Auckland, Auckland, New Zealand

3. Università della Svizzera italiana (USI), Lugano, Switzerland

4. Orona, Hernani, Spain

Funder

H2020 European Research Council

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3520304.3534077

Reference9 articles.

1. John Ahlgren , Maria Eugenia Berezin , Kinga Bojarczuk, Elena Dulskyte, Inna Dvortsova, Johann George, Natalija Gucevska, Mark Harman, Maria Lomeli, Erik Meijer, et al. 2021 . Testing Web Enabled Simulation at Scale Using Metamorphic Testing. In ICSE-SEIP. John Ahlgren, Maria Eugenia Berezin, Kinga Bojarczuk, Elena Dulskyte, Inna Dvortsova, Johann George, Natalija Gucevska, Mark Harman, Maria Lomeli, Erik Meijer, et al. 2021. Testing Web Enabled Simulation at Scale Using Metamorphic Testing. In ICSE-SEIP.

2. Jon Ayerdi Sergio Segura Aitor Arrieta Goiuria Sagardui and Maite Arratibel. 2020. QoS-aware Metamorphic Testing: An Elevation Case Study. In ISSRE. 104--114. Jon Ayerdi Sergio Segura Aitor Arrieta Goiuria Sagardui and Maite Arratibel. 2020. QoS-aware Metamorphic Testing: An Elevation Case Study. In ISSRE. 104--114.

3. Jon Ayerdi Valerio Terragni Aitor Arrieta Paolo Tonella Goiuria Sagardui and Maite Arratibel. 2021. Generating metamorphic relations for cyber-physical systems with genetic programming: an industrial case study. In ESEC/FSE. 1264--1274. Jon Ayerdi Valerio Terragni Aitor Arrieta Paolo Tonella Goiuria Sagardui and Maite Arratibel. 2021. Generating metamorphic relations for cyber-physical systems with genetic programming: an industrial case study. In ESEC/FSE. 1264--1274.

4. The Oracle Problem in Software Testing: A Survey

5. T Y. Chen , S. C. Cheung , and S. M. Yiu . 1998 . Metamorphic Testing: A New Approach for Generating Next Test Cases. Technical Report. HKUST-CS98-01. T Y. Chen, S. C. Cheung, and S. M. Yiu. 1998. Metamorphic Testing: A New Approach for Generating Next Test Cases. Technical Report. HKUST-CS98-01.

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. MR-Scout: Automated Synthesis of Metamorphic Relations from Existing Test Cases;ACM Transactions on Software Engineering and Methodology;2024-06-29

2. Testing Causality in Scientific Modelling Software;ACM Transactions on Software Engineering and Methodology;2023-11-24