Using Semantic Metrics to Predict Mutation Equivalence

Amani Ayad; Imen Marsit; Nazih Mohamed Omri; Ji Meng Loh; Ali Mili

doi:10.1007/978-3-030-29157-0_1

Using Semantic Metrics to Predict Mutation Equivalence

Amani Ayad, Imen Marsit, Nazih Mohamed Omri, Ji Meng Loh, Ali Mili

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

4 Scopus citations

Abstract

Equivalent mutants are a major nuisance in mutation testing because they introduce a significant amount of bias. But weeding them out is difficult because it requires a detailed analysis of the source code of the base program and the mutant. In this paper we argue that for most applications, it is not necessary to identify equivalent mutants individually; rather it suffices to estimate their number. Also, we explore how we can estimate their number by a cursory/automatable analysis of the base program and the mutant generation policy.

Original language	English (US)
Title of host publication	Software Technologies - 13th International Conference, ICSOFT 2018, Revised Selected Papers
Editors	Leszek A. Maciaszek, Leszek A. Maciaszek, Marten van Sinderen
Publisher	Springer Verlag
Pages	3-27
Number of pages	25
ISBN (Print)	9783030291563
DOIs	https://doi.org/10.1007/978-3-030-29157-0_1
State	Published - 2019
Event	13th International Conference on Software Technologies, ICSOFT 2018 - Porto, Portugal Duration: Jul 26 2018 → Jul 28 2018

Publication series

Name	Communications in Computer and Information Science
Volume	1077
ISSN (Print)	1865-0929
ISSN (Electronic)	1865-0937

Conference

Conference	13th International Conference on Software Technologies, ICSOFT 2018
Country/Territory	Portugal
City	Porto
Period	7/26/18 → 7/28/18

All Science Journal Classification (ASJC) codes

General Computer Science
General Mathematics

Keywords

Mutant equivalence
Mutant survival ratio
Redundancy
Software metrics

Access to Document

10.1007/978-3-030-29157-0_1

Cite this

Ayad, A., Marsit, I., Mohamed Omri, N., Loh, J. M., & Mili, A. (2019). Using Semantic Metrics to Predict Mutation Equivalence. In L. A. Maciaszek, L. A. Maciaszek, & M. van Sinderen (Eds.), Software Technologies - 13th International Conference, ICSOFT 2018, Revised Selected Papers (pp. 3-27). (Communications in Computer and Information Science; Vol. 1077). Springer Verlag. https://doi.org/10.1007/978-3-030-29157-0_1

@inproceedings{a15f711723484183bcefb24a5e76890e,

title = "Using Semantic Metrics to Predict Mutation Equivalence",

abstract = "Equivalent mutants are a major nuisance in mutation testing because they introduce a significant amount of bias. But weeding them out is difficult because it requires a detailed analysis of the source code of the base program and the mutant. In this paper we argue that for most applications, it is not necessary to identify equivalent mutants individually; rather it suffices to estimate their number. Also, we explore how we can estimate their number by a cursory/automatable analysis of the base program and the mutant generation policy.",

keywords = "Mutant equivalence, Mutant survival ratio, Redundancy, Software metrics",

author = "Amani Ayad and Imen Marsit and {Mohamed Omri}, Nazih and Loh, {Ji Meng} and Ali Mili",

note = "Publisher Copyright: {\textcopyright} 2019, Springer Nature Switzerland AG.; 13th International Conference on Software Technologies, ICSOFT 2018 ; Conference date: 26-07-2018 Through 28-07-2018",

year = "2019",

doi = "10.1007/978-3-030-29157-0_1",

language = "English (US)",

isbn = "9783030291563",

series = "Communications in Computer and Information Science",

publisher = "Springer Verlag",

pages = "3--27",

editor = "Maciaszek, {Leszek A.} and Maciaszek, {Leszek A.} and {van Sinderen}, Marten",

booktitle = "Software Technologies - 13th International Conference, ICSOFT 2018, Revised Selected Papers",

address = "Germany",

}

Ayad, A, Marsit, I, Mohamed Omri, N, Loh, JM & Mili, A 2019, Using Semantic Metrics to Predict Mutation Equivalence. in LA Maciaszek, LA Maciaszek & M van Sinderen (eds), Software Technologies - 13th International Conference, ICSOFT 2018, Revised Selected Papers. Communications in Computer and Information Science, vol. 1077, Springer Verlag, pp. 3-27, 13th International Conference on Software Technologies, ICSOFT 2018, Porto, Portugal, 7/26/18. https://doi.org/10.1007/978-3-030-29157-0_1

Using Semantic Metrics to Predict Mutation Equivalence. / Ayad, Amani; Marsit, Imen; Mohamed Omri, Nazih et al.
Software Technologies - 13th International Conference, ICSOFT 2018, Revised Selected Papers. ed. / Leszek A. Maciaszek; Leszek A. Maciaszek; Marten van Sinderen. Springer Verlag, 2019. p. 3-27 (Communications in Computer and Information Science; Vol. 1077).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Using Semantic Metrics to Predict Mutation Equivalence

AU - Ayad, Amani

AU - Marsit, Imen

AU - Mohamed Omri, Nazih

AU - Loh, Ji Meng

AU - Mili, Ali

PY - 2019

Y1 - 2019

N2 - Equivalent mutants are a major nuisance in mutation testing because they introduce a significant amount of bias. But weeding them out is difficult because it requires a detailed analysis of the source code of the base program and the mutant. In this paper we argue that for most applications, it is not necessary to identify equivalent mutants individually; rather it suffices to estimate their number. Also, we explore how we can estimate their number by a cursory/automatable analysis of the base program and the mutant generation policy.

AB - Equivalent mutants are a major nuisance in mutation testing because they introduce a significant amount of bias. But weeding them out is difficult because it requires a detailed analysis of the source code of the base program and the mutant. In this paper we argue that for most applications, it is not necessary to identify equivalent mutants individually; rather it suffices to estimate their number. Also, we explore how we can estimate their number by a cursory/automatable analysis of the base program and the mutant generation policy.

KW - Mutant equivalence

KW - Mutant survival ratio

KW - Redundancy

KW - Software metrics

UR - http://www.scopus.com/inward/record.url?scp=85071673364&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85071673364&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-29157-0_1

DO - 10.1007/978-3-030-29157-0_1

M3 - Conference contribution

AN - SCOPUS:85071673364

SN - 9783030291563

T3 - Communications in Computer and Information Science

SP - 3

EP - 27

BT - Software Technologies - 13th International Conference, ICSOFT 2018, Revised Selected Papers

A2 - Maciaszek, Leszek A.

A2 - van Sinderen, Marten

PB - Springer Verlag

T2 - 13th International Conference on Software Technologies, ICSOFT 2018

Y2 - 26 July 2018 through 28 July 2018

ER -

Ayad A, Marsit I, Mohamed Omri N, Loh JM , Mili A. Using Semantic Metrics to Predict Mutation Equivalence. In Maciaszek LA, Maciaszek LA, van Sinderen M, editors, Software Technologies - 13th International Conference, ICSOFT 2018, Revised Selected Papers. Springer Verlag. 2019. p. 3-27. (Communications in Computer and Information Science). doi: 10.1007/978-3-030-29157-0_1

Using Semantic Metrics to Predict Mutation Equivalence

Abstract

Publication series

Conference

All Science Journal Classification (ASJC) codes

Keywords

Access to Document

Other files and links

Fingerprint

Cite this