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.

Identifier

85152626607 (Scopus)

ISBN

[9798350319910]

Publication Title

Proceedings 2022 IEEE 22nd International Conference on Software Quality Reliability and Security Companion Qrs C 2022

External Full Text Location

https://doi.org/10.1109/QRS-C57518.2022.00050

First Page

288

Last Page

297

Grant

DGE1565478

Fund Ref

National Science Foundation

This document is currently not available here.

Share

COinS