Accelerated stress testing to detect probabilistic software failures | IEEE Conference Publication | IEEE Xplore