Mutation Subsumption as Relative Incorrectness
Document Type
Conference Proceeding
Publication Date
1-1-2021
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.
Identifier
85115222738 (Scopus)
ISBN
[9783030853464]
Publication Title
Communications in Computer and Information Science
External Full Text Location
https://doi.org/10.1007/978-3-030-85347-1_2
e-ISSN
18650937
ISSN
18650929
First Page
18
Last Page
28
Volume
1439 CCIS
Grant
DGE1565478
Fund Ref
National Science Foundation
Recommended Citation
Khaireddine, Besma; Ayad, Amani; Marsit, Imen; and Mili, Ali, "Mutation Subsumption as Relative Incorrectness" (2021). Faculty Publications. 4637.
https://digitalcommons.njit.edu/fac_pubs/4637
