Testing stochastic software using pseudo-oracles

摘要

This is the author accepted manuscript. The final version is available from the Association for Computing Machinery via http://dx.doi.org/10.1145/2931037.2931063