Practical GUI Testing of Android Applications Via Model Abstraction and Refinement | IEEE Conference Publication | IEEE Xplore