@inproceedings{f8e5951925ed48dcb79a32f084741138,
title = "Mutation Subsumption as Relative Incorrectness",
abstract = "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.",
keywords = "Competence domains, Differentiator sets, Mutant equivalence, Mutant subsumption, Relative correctness",
author = "Besma Khaireddine and Amani Ayad and Imen Marsit and Ali Mili",
note = "Publisher Copyright: {\textcopyright} 2021, Springer Nature Switzerland AG.; 14th International Conference on the Quality of Information and Communications Technology, QUATIC 2021 ; Conference date: 08-09-2021 Through 11-09-2021",
year = "2021",
doi = "10.1007/978-3-030-85347-1_2",
language = "English (US)",
isbn = "9783030853464",
series = "Communications in Computer and Information Science",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "18--28",
editor = "Paiva, {Ana C.R.} and Cavalli, {Ana Rosa} and {Ventura Martins}, Paula and Ricardo P{\'e}rez-Castillo",
booktitle = "Quality of Information and Communications Technology - 14th International Conference, QUATIC 2021, Proceedings",
address = "Germany",
}