Assessment of a sampling method for measuring safety-critical software reliability | IEEE Conference Publication | IEEE Xplore