Towards Black Box Testing of Android Apps
Automated concolic testing of smartphone apps