AGRippin: a novel search based testing technique for Android applications