Automated Generation of Oracles for Testing User-Interaction Features of Mobile Apps
Automated concolic testing of smartphone apps