TY - GEN
T1 - Quantifying the Effectiveness of Mutant Sets
AU - Alblwi, Samia
AU - Ayad, Amani
AU - Khaireddine, Besma
AU - Marsit, Imen
AU - Mili, Ali
N1 - Publisher Copyright:
© 2022 IEEE.
PY - 2022
Y1 - 2022
N2 - To reduce the cost of mutation testing, researchers have sought to find minimal mutant sets. As an optimization problem, mutant set minimization is defined by two parameters: the objective function that we must optimize; and the constraint under which the optimization is carried out. Whereas the objective function of this optimization problem is clear (minimizing the cardinality of the mutant set), the constraint under which this optimization is attempted has not been clearly articulated in the literature. In this paper, we propose a formal definition of this constraint and discuss in what sense, and to what extent, published algorithms of mutant set minimization comply with this constraint.
AB - To reduce the cost of mutation testing, researchers have sought to find minimal mutant sets. As an optimization problem, mutant set minimization is defined by two parameters: the objective function that we must optimize; and the constraint under which the optimization is carried out. Whereas the objective function of this optimization problem is clear (minimizing the cardinality of the mutant set), the constraint under which this optimization is attempted has not been clearly articulated in the literature. In this paper, we propose a formal definition of this constraint and discuss in what sense, and to what extent, published algorithms of mutant set minimization comply with this constraint.
KW - Mutant set effectiveness
KW - Mutant set minimization
KW - Mutant subsumption
KW - Mutation testing
UR - http://www.scopus.com/inward/record.url?scp=85152626607&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85152626607&partnerID=8YFLogxK
U2 - 10.1109/QRS-C57518.2022.00050
DO - 10.1109/QRS-C57518.2022.00050
M3 - Conference contribution
AN - SCOPUS:85152626607
T3 - Proceedings - 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security Companion, QRS-C 2022
SP - 288
EP - 297
BT - Proceedings - 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security Companion, QRS-C 2022
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 22nd IEEE International Conference on Software Quality, Reliability and Security Companion, QRS-C 2022
Y2 - 5 December 2022 through 9 December 2022
ER -