@inproceedings{6674959de9904692b8749a9c44766281,
title = "How to test software for optimal software reliability assessment",
abstract = "The controlled Markov chains (CMC) approach to software testing models the software under test as a controlled Markov chain and treats it as a controlled object. It treats software testing strategy as the corresponding controller. Our previous work has shown that the CMC approach is applicable to dealing with the software testing problem for optimal software reliability growth. In this paper we show that software reliability assessment can be treated as an adaptive control problem and the CMC approach is also applicable to dealing with the optimal software testing problem for software reliability assessment. The work presented in this paper is a contribution to the new area of software cybernetics that explores the interplay between software and control.",
author = "Cai, \{Kai Yuan\} and Li, \{Yong Chao\} and Ke Liu",
note = "Publisher Copyright: {\textcopyright} 2004 IEEE.; 3rd International Conference on Quality Software, QSIC 2003 ; Conference date: 06-11-2003 Through 07-11-2003",
year = "2003",
doi = "10.1109/QSIC.2003.1319083",
language = "英语",
series = "Proceedings - International Conference on Quality Software",
publisher = "IEEE Computer Society",
pages = "32--39",
booktitle = "Proceedings - 3rd International Conference on Quality Software, QSIC 2003",
address = "美国",
}