Quantifying the Effectiveness of Mutant Sets

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

This document is currently not available here.

Share

COinS