Oracles for Distributed Testing - Hierons, Robert M. (IEEE Transactions on Software Engineering, Software Engineering, IEEE Transactions on, IIEEE Trans. Software Eng., 2012)