@inproceedings{1139c455cb4244d69ece3c61992f286f,
title = "Combining Fault Avoidance, Fault Removal and Fault Tolerance: An Integrated Model",
abstract = "Fault avoidance, fault removal and fault tolerance represent three successive lines of defense against the contingency of faults in software systems and their impact on system reliability. Beyond the colorful discussions of the relative merits of these techniques, the law of diminishing returns advocates that they be used in concert, where each is applied whenever it is most effective. Such a premise remains an idle act of faith so long as these techniques cannot be captured by a uniform model. This paper proposes such a model, and illustrates how it can be used in practice to improve the quality of software products.",
keywords = "Fault avoidance, Fault removal, Fault tolerance, Formal specifications, validation, Verification",
author = "A. Mili and B. Cukic and T. Xia and \{Ben Ayed\}, R.",
note = "Publisher Copyright: {\textcopyright} IEEE 1999.; 14th IEEE International Conference on Automated Software Engineering, ASE 1999 ; Conference date: 12-10-1999 Through 15-10-1999",
year = "1999",
doi = "10.1109/ASE.1999.802168",
language = "English (US)",
series = "14th IEEE International Conference on Automated Software Engineering, ASE 1999",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "137--146",
booktitle = "14th IEEE International Conference on Automated Software Engineering, ASE 1999",
address = "United States",
}