Towards Black Box Testing of Android Apps | IEEE Conference Publication | IEEE Xplore