Mutation Subsumption as Relative Incorrectness

Besma Khaireddine, Amani Ayad, Imen Marsit, Ali Mili

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


This paper attempts to link two lines of research that have proceeded independently so far: Mutant subsumption, which is used to identify redundant mutants; and Relative correctness, which is used to define and analyze software faults. We say that a mutant M of a program P subsumes a mutant M of P if and only if any test datum that kills M kills M. On the other hand, we say that a program P is more-correct than a program P with respect to a specification R if and only if whenever program P behaves correctly with respect to R on some input datum, so does program P. We highlight the relationships between these two concepts and consider some potential synergies between these two research directions.

Original languageEnglish (US)
Title of host publicationQuality of Information and Communications Technology - 14th International Conference, QUATIC 2021, Proceedings
EditorsAna C.R. Paiva, Ana Rosa Cavalli, Paula Ventura Martins, Ricardo Pérez-Castillo
PublisherSpringer Science and Business Media Deutschland GmbH
Number of pages11
ISBN (Print)9783030853464
StatePublished - 2021
Event14th International Conference on the Quality of Information and Communications Technology, QUATIC 2021 - Faro, Portugal
Duration: Sep 8 2021Sep 11 2021

Publication series

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


Conference14th International Conference on the Quality of Information and Communications Technology, QUATIC 2021

All Science Journal Classification (ASJC) codes

  • General Computer Science
  • General Mathematics


  • Competence domains
  • Differentiator sets
  • Mutant equivalence
  • Mutant subsumption
  • Relative correctness


Dive into the research topics of 'Mutation Subsumption as Relative Incorrectness'. Together they form a unique fingerprint.

Cite this