Three Forms of Mutant Subsumption: Basic, Strict and Broad

Samia AlBlwi, Imen Marsit, Besma Khaireddine, Amani Ayad, Ji Meng Loh, Ali Mili

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Mutant subsumption is the property of a mutant to be more stubborn than another, i.e. to be harder to distinguish from the base program. The traditional definition of mutant subsumption distinguishes between three forms of subsumption, namely: true subsumption, static subsumption, and dynamic subsumption. Also, the traditional definition of mutant subsumption appears to assume that programs and their mutants converge for all test data, but in practice this is not the case: executions may lead to infinite loops or attempt illegal operations of all kinds. In this paper we revisit the definition of mutant subsumption by taking into consideration the possibility that executions may diverge, and we propose an orthogonal classification of subsumption.

Original languageEnglish (US)
Title of host publicationSoftware Technologies - 17th International Conference, ICSOFT 2022, Revised Selected Papers
EditorsHans-Georg Fill, Marten van Sinderen, Leszek A. Maciaszek, Leszek A. Maciaszek
PublisherSpringer Science and Business Media Deutschland GmbH
Pages122-144
Number of pages23
ISBN (Print)9783031372308
DOIs
StatePublished - 2023
Event17th International Conference on Software Technologies, ICSOFT 2022 - Lisbon, Portugal
Duration: Jul 11 2022Jul 13 2022

Publication series

NameCommunications in Computer and Information Science
Volume1859 CCIS
ISSN (Print)1865-0929
ISSN (Electronic)1865-0937

Conference

Conference17th International Conference on Software Technologies, ICSOFT 2022
Country/TerritoryPortugal
CityLisbon
Period7/11/227/13/22

All Science Journal Classification (ASJC) codes

  • General Computer Science
  • General Mathematics

Keywords

  • Basic subsumption
  • Broad subsumption
  • Mutant subsumption
  • Mutation testing
  • Strict subsumption

Fingerprint

Dive into the research topics of 'Three Forms of Mutant Subsumption: Basic, Strict and Broad'. Together they form a unique fingerprint.

Cite this