Testing android apps through symbolic execution
GUI ripping: reverse engineering of graphical user interfaces for testing