On the Accuracy, Efficiency, and Reusability of Automated Test Oracles for Android Devices | IEEE Journals & Magazine | IEEE Xplore