@inproceedings{9a716d62199a4ffcbe4e62d9072cef8d,
title = "A Semantic Definition of Faults and Its Implications",
abstract = "Given that faults are the focus of much software quality assurance (fault avoidance, fault removal, fault tolerance, fault prediction/ forecasting), we argue that a formal definition of faults ought to help us enhance the state of the art in this field. In this paper we consider a formal semantic definition of faults, and explore the insights that this definition gives us, and how these insights can be used in practice. Some of these insights are counter-intuitive, which makes them all the more interesting/useful.",
keywords = "elementary fault, error, failure, fault, fault density, fault depth, fault mutiplicity, fault removal",
author = "Besma Khaireddine and Aleksandr Zakharchenko and Ali Mili",
note = "Publisher Copyright: {\textcopyright} 2020 IEEE.; 20th IEEE International Conference on Software Quality, Reliability, and Security, QRS 2020 ; Conference date: 11-12-2020 Through 14-12-2020",
year = "2020",
month = dec,
doi = "10.1109/QRS51102.2020.00015",
language = "English (US)",
series = "Proceedings - 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security, QRS 2020",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "14--21",
booktitle = "Proceedings - 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security, QRS 2020",
address = "United States",
}