Software Test-Run Reliability Modeling with Non-homogeneous Binomial Processes | IEEE Conference Publication | IEEE Xplore