@inproceedings{b5bf051deaca42aca628610df51da642,
title = "Quantifying Faultiness: What Does It Mean to Have N Faults?",
abstract = "It is common to see software testing experiments where a benchmark program is seeded with N benchmark mutations, then declared to have N faults. We argue that in the absence of a formal definition of what is a fault, let alone what are N faults, it is difficult to assign a meaning to such claims. We further argue that in order to assign a meaning to such a claim we must refer to five parameters, which we introduce and justify. To illustrate our ideas, we consider the tcas component of the Siemens benchmark, which we seed with eight mutations, and we find that not only is it wrong to claim that tcas has eight faults, it is also wrong to measure faultiness by the number of faults in a program.",
keywords = "fault density, fault depth, fault multiplicity, fault repair, faults",
author = "Besma Khaireddine and Ali Mili",
note = "Publisher Copyright: {\textcopyright} 2021 IEEE.; 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2021 ; Conference date: 17-05-2021 Through 21-05-2021",
year = "2021",
month = may,
doi = "10.1109/FormaliSE52586.2021.00013",
language = "English (US)",
series = "Proceedings - 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering, FormaliSE 2021",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "68--74",
booktitle = "Proceedings - 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering, FormaliSE 2021",
address = "United States",
}