ABSTRACT
It appears that the serious effort on software reliability started at Bell Laboratories in the early 1960s [3]. A clear evidence of such effort is a histogram of monthly problems in regard to switching system software. In the latter part of the 1960s, approaches for formal validation of software programs were considered [4], and Markov birth-death models directly or indirectly concerned with software reliability were proposed [5].
