TY - GEN
T1 - Three Forms of Mutant Subsumption
T2 - 17th International Conference on Software Technologies, ICSOFT 2022
AU - AlBlwi, Samia
AU - Marsit, Imen
AU - Khaireddine, Besma
AU - Ayad, Amani
AU - Loh, Ji Meng
AU - Mili, Ali
N1 - Publisher Copyright:
© 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.
PY - 2023
Y1 - 2023
N2 - 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.
AB - 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.
KW - Basic subsumption
KW - Broad subsumption
KW - Mutant subsumption
KW - Mutation testing
KW - Strict subsumption
UR - http://www.scopus.com/inward/record.url?scp=85172418619&partnerID=8YFLogxK
U2 - 10.1007/978-3-031-37231-5_6
DO - 10.1007/978-3-031-37231-5_6
M3 - Conference contribution
AN - SCOPUS:85172418619
SN - 9783031372308
T3 - Communications in Computer and Information Science
SP - 122
EP - 144
BT - Software Technologies - 17th International Conference, ICSOFT 2022, Revised Selected Papers
A2 - Fill, Hans-Georg
A2 - van Sinderen, Marten
A2 - Maciaszek, Leszek A.
A2 - Maciaszek, Leszek A.
PB - Springer Science and Business Media Deutschland GmbH
Y2 - 11 July 2022 through 13 July 2022
ER -