@inproceedings{5479c2ac5d9b4275bdd52c3492506aa5,
title = "Assurance-based Y2K testing",
abstract = "Describes assurance techniques for Year-2000 (Y2K) testing. The Y2K problem is an important issue in the computer industry today, and testing is still the main technique for quality assurance. There is a need to ensure that the software is reasonably safe from Y2K faults after testing. This paper uses a statistical model for ensuring this, and it explicitly models Y2K faults as well as the ripples induced by Y2K modifications. The paper then describes two processes that use the model in practice: A bottom-up process that can be used together with software development, and a top-down process that can be used when the project is almost completed. These processes can be easily embedded in an existing testing process with minimal changes and minimal extra effort.",
keywords = "Assurance-based testing, software testing processes, Y2K testing",
author = "Tsai, {W. T.} and Raymond Paul and Weiguang Shao and Sanjai Rayadurgam and Jinbao Li",
year = "1999",
month = jan,
day = "1",
doi = "10.1109/HASE.1999.809472",
language = "English (US)",
series = "Proceedings - 4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "27--34",
booktitle = "Proceedings - 4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999",
note = "4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999 ; Conference date: 17-11-1999 Through 19-11-1999",
}