@inproceedings{06bffd9ba0bf4e209ab7f7d17fbe31c5,
title = "Quantitative analysis of mutant equivalence",
abstract = "Program mutation is the process of generating syntactic variations of a base program and analyzing them by comparison with the base; this process is meaningful only to the extent that the mutants are semantically distinct from the base program, but that is not always the case. Two programs may be syntactically distinct yet semantically equivalent. The problem of identifying and weeding out equivalent mutants has eluded researchers for a long time. In this chapter we argue that researchers ought to abandon the overly ambitious goal of determining whether a program and its mutant are equivalent, and focus instead on the more modest, but sufficient, goal of estimating the number of equivalent mutants that a program is prone to generate.",
keywords = "Equivalent mutants, Mutation score, Mutation testing, Redundant mutants, Software metrics",
author = "Amani Ayad and Imen Marsit and Sara Tawfig and Loh, {Ji Meng} and Omri, {Mohamed Nazih} and Ali Mili",
note = "Publisher Copyright: {\textcopyright} Springer Nature Switzerland AG 2020.; 14th International Conference on Software Technologies, ICSOFT 2019 ; Conference date: 26-07-2019 Through 28-07-2019",
year = "2020",
doi = "10.1007/978-3-030-52991-8_4",
language = "English (US)",
isbn = "9783030529901",
series = "Communications in Computer and Information Science",
publisher = "Springer",
pages = "58--80",
editor = "{van Sinderen}, Marten and Maciaszek, {Leszek A.} and Maciaszek, {Leszek A.}",
booktitle = "Software Technologies - 14th International Conference, ICSOFT 2019, Revised Selected Papers",
}