@inproceedings{e20b7498fdb2411eb73e31ee7df3ca17,
title = "Estimating the number of equivalent mutants",
abstract = "Equivalent mutants are a constant source of aggravation in mutation testing because they distort mutation-based analysis; but the identification of equivalent mutants is known to be undecidable, in addition to being (in practice) tedious and error-prone. We argue that for most applications it is not necessary to individually identify equivalent mutants; rather it suffices to know/ estimate their number. In this paper, we discuss the specification and design of an automated tool that estimates the number of equivalent mutants generated from a base program by analyzing the source code of the program as well as the mutant generation policy.",
keywords = "Equivalent mutants, Mutant generators, Mutation testing, Redundancy metrics, Software tool",
author = "Amani Ayad and Imen Marsit and Jimeng Loh and Omri, {Mohamed Nazih} and Ali Mili",
year = "2019",
month = apr,
doi = "10.1109/ICSTW.2019.00039",
language = "English (US)",
series = "Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "112--121",
booktitle = "Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019",
address = "United States",
note = "12th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019 ; Conference date: 22-04-2019 Through 27-04-2019",
}