← Reducing Combinatorics in GUI Testing of Android Applications