Testing stochastic software using pseudo-oracles. - Matthew Patrick; Andrew P. Craig; Nik J. Cunniffe; Matthew Parry; Christopher A. Gilligan (ISSTA, 2016)