Study on the determination method of the minimal software reliability test effort based on sampling probability | IEEE Conference Publication | IEEE Xplore