The GUI Ripper for Android Mobile Applications