Automated Estimation of the Rate of Equivalent Mutants

Amani Ayad; Ali Mili

doi:10.1109/CSCI51800.2020.00331

Automated Estimation of the Rate of Equivalent Mutants

Amani Ayad, Ali Mili

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

Abstract

Whereas most past research on mutation equivalence has focused on analyzing a base program and a mutant to determine whether they are equivalent, we favor an orthogonal approach: We argue that in addition to being difficult and error-prone, the determination of whether two programs are equivalent is also often unnecessary. For most practical applications, it is not necessary to identify equivalent mutants individually; it is sufficient to estimate their number. In this paper, we discuss an automated tool that does so by static analysis of the base program.

Original language	English (US)
Title of host publication	Proceedings - 2020 International Conference on Computational Science and Computational Intelligence, CSCI 2020
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	1794-1799
Number of pages	6
ISBN (Electronic)	9781728176246
DOIs	https://doi.org/10.1109/CSCI51800.2020.00331
State	Published - Dec 2020
Event	2020 International Conference on Computational Science and Computational Intelligence, CSCI 2020 - Las Vegas, United States Duration: Dec 16 2020 → Dec 18 2020

Publication series

Name	Proceedings - 2020 International Conference on Computational Science and Computational Intelligence, CSCI 2020

Conference

Conference	2020 International Conference on Computational Science and Computational Intelligence, CSCI 2020
Country/Territory	United States
City	Las Vegas
Period	12/16/20 → 12/18/20

All Science Journal Classification (ASJC) codes

Artificial Intelligence
Computer Networks and Communications
Safety, Risk, Reliability and Quality

Keywords

n/a

Access to Document

10.1109/CSCI51800.2020.00331

Cite this

Ayad, A., & Mili, A. (2020). Automated Estimation of the Rate of Equivalent Mutants. In Proceedings - 2020 International Conference on Computational Science and Computational Intelligence, CSCI 2020 (pp. 1794-1799). Article 9458144 (Proceedings - 2020 International Conference on Computational Science and Computational Intelligence, CSCI 2020). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/CSCI51800.2020.00331

Ayad, Amani ; Mili, Ali. / Automated Estimation of the Rate of Equivalent Mutants. Proceedings - 2020 International Conference on Computational Science and Computational Intelligence, CSCI 2020. Institute of Electrical and Electronics Engineers Inc., 2020. pp. 1794-1799 (Proceedings - 2020 International Conference on Computational Science and Computational Intelligence, CSCI 2020).

@inproceedings{31fbaec28ebf41c4869b995a4c94f842,

title = "Automated Estimation of the Rate of Equivalent Mutants",

abstract = "Whereas most past research on mutation equivalence has focused on analyzing a base program and a mutant to determine whether they are equivalent, we favor an orthogonal approach: We argue that in addition to being difficult and error-prone, the determination of whether two programs are equivalent is also often unnecessary. For most practical applications, it is not necessary to identify equivalent mutants individually; it is sufficient to estimate their number. In this paper, we discuss an automated tool that does so by static analysis of the base program.",

keywords = "n/a",

author = "Amani Ayad and Ali Mili",

note = "Publisher Copyright: {\textcopyright} 2020 IEEE.; 2020 International Conference on Computational Science and Computational Intelligence, CSCI 2020 ; Conference date: 16-12-2020 Through 18-12-2020",

year = "2020",

month = dec,

doi = "10.1109/CSCI51800.2020.00331",

language = "English (US)",

series = "Proceedings - 2020 International Conference on Computational Science and Computational Intelligence, CSCI 2020",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "1794--1799",

booktitle = "Proceedings - 2020 International Conference on Computational Science and Computational Intelligence, CSCI 2020",

address = "United States",

}

Ayad, A & Mili, A 2020, Automated Estimation of the Rate of Equivalent Mutants. in Proceedings - 2020 International Conference on Computational Science and Computational Intelligence, CSCI 2020., 9458144, Proceedings - 2020 International Conference on Computational Science and Computational Intelligence, CSCI 2020, Institute of Electrical and Electronics Engineers Inc., pp. 1794-1799, 2020 International Conference on Computational Science and Computational Intelligence, CSCI 2020, Las Vegas, United States, 12/16/20. https://doi.org/10.1109/CSCI51800.2020.00331

Automated Estimation of the Rate of Equivalent Mutants. / Ayad, Amani; Mili, Ali.
Proceedings - 2020 International Conference on Computational Science and Computational Intelligence, CSCI 2020. Institute of Electrical and Electronics Engineers Inc., 2020. p. 1794-1799 9458144 (Proceedings - 2020 International Conference on Computational Science and Computational Intelligence, CSCI 2020).

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

TY - GEN

T1 - Automated Estimation of the Rate of Equivalent Mutants

AU - Ayad, Amani

AU - Mili, Ali

PY - 2020/12

Y1 - 2020/12

N2 - Whereas most past research on mutation equivalence has focused on analyzing a base program and a mutant to determine whether they are equivalent, we favor an orthogonal approach: We argue that in addition to being difficult and error-prone, the determination of whether two programs are equivalent is also often unnecessary. For most practical applications, it is not necessary to identify equivalent mutants individually; it is sufficient to estimate their number. In this paper, we discuss an automated tool that does so by static analysis of the base program.

AB - Whereas most past research on mutation equivalence has focused on analyzing a base program and a mutant to determine whether they are equivalent, we favor an orthogonal approach: We argue that in addition to being difficult and error-prone, the determination of whether two programs are equivalent is also often unnecessary. For most practical applications, it is not necessary to identify equivalent mutants individually; it is sufficient to estimate their number. In this paper, we discuss an automated tool that does so by static analysis of the base program.

KW - n/a

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

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

U2 - 10.1109/CSCI51800.2020.00331

DO - 10.1109/CSCI51800.2020.00331

M3 - Conference contribution

AN - SCOPUS:85113371090

T3 - Proceedings - 2020 International Conference on Computational Science and Computational Intelligence, CSCI 2020

SP - 1794

EP - 1799

BT - Proceedings - 2020 International Conference on Computational Science and Computational Intelligence, CSCI 2020

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 2020 International Conference on Computational Science and Computational Intelligence, CSCI 2020

Y2 - 16 December 2020 through 18 December 2020

ER -

Ayad A, Mili A. Automated Estimation of the Rate of Equivalent Mutants. In Proceedings - 2020 International Conference on Computational Science and Computational Intelligence, CSCI 2020. Institute of Electrical and Electronics Engineers Inc. 2020. p. 1794-1799. 9458144. (Proceedings - 2020 International Conference on Computational Science and Computational Intelligence, CSCI 2020). doi: 10.1109/CSCI51800.2020.00331

Automated Estimation of the Rate of Equivalent Mutants

Abstract

Publication series

Conference

All Science Journal Classification (ASJC) codes

Keywords

Access to Document

Other files and links

Fingerprint

Cite this