eBiltegia

    • Euskara
    • Español
    • English
  • Contact Us
  • English 
    • Euskara
    • Español
    • English
  • About eBiltegia  
    • What is eBiltegia? 
    •   About eBiltegia
    •   Publish your research in open access
    • Open Access at MU 
    •   What is Open Science?
    •   Open Access institutional policy
    •   The Library compiles and disseminates your publications
  • Login
View Item 
  •   eBiltegia MONDRAGON UNIBERTSITATEA
  • Scientific production - Conferences
  • Conferences - Engineering
  • View Item
  •   eBiltegia MONDRAGON UNIBERTSITATEA
  • Scientific production - Conferences
  • Conferences - Engineering
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Thumbnail
View/Open
Evolutionary Generation of Metamorphic Relations.pdf (455.5Kb)
Full record
Impact

Web of Science   

Google Scholar
Microsoft Academic
Share
Save the reference
Mendely
Title
Evolutionary generation of metamorphic relations for cyber-physical systems
Author
Ayerdi, Jon ccMondragon Unibertsitatea
Arrieta, Aitor ccMondragon Unibertsitatea
Sagardui, Goiuria ccMondragon Unibertsitatea
Author (from another institution)
Terragni, Valerio
Tonella, Paolo
Arratibel, Maite
Research Group
Ingeniería del software y sistemas
Published Date
2022
Publisher
ACM
Keywords
cyber physical systems
Metamorphic Testing
Quality of Service
oracle generation ... [+]
cyber physical systems
Metamorphic Testing
Quality of Service
oracle generation
oracle improvement
evolutionary algorithm
genetic programming
mutation testing [-]
Abstract
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 ... [+]
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 relations expected to hold among multiple executions of the system under test, which are known as Metamorphic Relations (MRs). However, the development of effective MRs is often challenging and requires the involvement of domain experts. This paper summarizes our recent publication: "Generating Metamorphic Relations for Cyber-Physical Systems with Genetic Programming: An Industrial Case Study", presented at ESEC/FSE 2021. In that publication we presented GAssertMRs, the first technique to automatically generate MRs for CPS, leveraging GP to explore the space of candidate solutions. We evaluated GAssertMRs in an industrial case study, outperforming other baselines. [-]
URI
https://hdl.handle.net/20.500.11984/5907
Publisher’s version
https://doi.org/10.1145/3520304.3534077
ISBN
978-1-4503-9268-6
Published at
Proceedings of the Genetic and Evolutionary Computation Conference Companion (GECCO '22)  Boston, 9-13 July 2022. Pp. 15–16. New York: Association for Computing Machinery, 2022
Document type
Conference paper
Version
Postprint – Accepted Manuscript
Rights
© 2022 The Authors
Access
Open Access
Collections
  • Conferences - Engineering [242]

Browse

All of eBiltegiaCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsResearch groupsPublished atThis CollectionBy Issue DateAuthorsTitlesSubjectsResearch groupsPublished at

My Account

LoginRegister

Statistics

View Usage Statistics

Harvested by:

OpenAIREBASE

Validated by:

OpenAIRERebiun
MONDRAGON UNIBERTSITATEA | Library
Contact Us | Send Feedback
DSpace
 

 

Harvested by:

OpenAIREBASE

Validated by:

OpenAIRERebiun
MONDRAGON UNIBERTSITATEA | Library
Contact Us | Send Feedback
DSpace