Quantifying the Effectiveness of Mutant Sets
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.
Proceedings - 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security Companion, QRS-C 2022
First Page Number
Last Page Number
Alblwi, Samia; Ayad, Amani; Khaireddine, Besma; Marsit, Imen; and Mili, Ali, "Quantifying the Effectiveness of Mutant Sets" (2022). Kean Publications. 680.