Safety-critical applications such as aviation, nuclear power generation, satellite communication, required to be highly reliable as failure of these systems may cause injury or death to human beings. Apart from the safety critical systems, software has become an integral part of most complex applications. Thus it is very important to ensure that the underlying software operates correctly, properly performs its intended functions and delivers its desirable output. However, in the early stages of development, it is difficult to quantitatively assess the reliability of a software product due to,...