Title

Quantifying the Effectiveness of Mutant Sets

Authors

Samia Alblwi, New Jersey Institute of Technology
Amani Ayad, Kean University
Besma Khaireddine, Université de Tunis El Manar
Imen Marsit, Université de Sousse
Ali Mili, New Jersey Institute of Technology

Document Type

Conference Proceeding

Publication Date

1-1-2022

Abstract

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.

Publication Title

Proceedings - 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security Companion, QRS-C 2022

First Page Number

288

Last Page Number

297

DOI

10.1109/QRS-C57518.2022.00050

Recommended Citation

Alblwi, Samia; Ayad, Amani; Khaireddine, Besma; Marsit, Imen; and Mili, Ali, "Quantifying the Effectiveness of Mutant Sets" (2022). Kean Publications. 680.
https://digitalcommons.kean.edu/keanpublications/680