"Three Forms of Mutant Subsumption: Basic, Strict and Broad" by Samia AlBlwi, Imen Marsit et al.
 

Three Forms of Mutant Subsumption: Basic, Strict and Broad

Document Type

Conference Proceeding

Publication Date

1-1-2023

Abstract

Mutant subsumption is the property of a mutant to be more stubborn than another, i.e. to be harder to distinguish from the base program. The traditional definition of mutant subsumption distinguishes between three forms of subsumption, namely: true subsumption, static subsumption, and dynamic subsumption. Also, the traditional definition of mutant subsumption appears to assume that programs and their mutants converge for all test data, but in practice this is not the case: executions may lead to infinite loops or attempt illegal operations of all kinds. In this paper we revisit the definition of mutant subsumption by taking into consideration the possibility that executions may diverge, and we propose an orthogonal classification of subsumption.

Identifier

85172418619 (Scopus)

ISBN

[9783031372308]

Publication Title

Communications in Computer and Information Science

External Full Text Location

https://doi.org/10.1007/978-3-031-37231-5_6

e-ISSN

18650937

ISSN

18650929

First Page

122

Last Page

144

Volume

1859 CCIS

Grant

DGE 1565478

Fund Ref

National Science Foundation

This document is currently not available here.

Share

COinS