Discrete Bayesian-Based Scheme of Software Reliability Demonstration Testing with Decreasing Function for the Safety Critical Software | IEEE Conference Publication | IEEE Xplore