Practical GUI testing of Android applications via model abstraction and refinement
Proceedings of the 41st International Conference on Software Engineering, pp. 269-280, 2019.
CEGAR GUI testing mobile app testing
This paper introduces a new, fully automated model-based approach for effective testing of Android apps. Different from existing model-based approaches that guide testing with a static GUI model (i.e., the model does not evolve its abstraction during testing, and is thus often imprecise), our approach dynamically optimizes the model by le...More
Full Text (Upload PDF)
PPT (Upload PPT)